10 lines
204 B
Text
10 lines
204 B
Text
- reindex spheres
|
|
- define pmap in terms of ppi
|
|
|
|
- move move_to_lib and pointed to library
|
|
|
|
talk with Favonia about:
|
|
- dependent pointed maps
|
|
- higher cube filling strategies
|
|
- HIT equivalences
|
|
- algebra
|