4 commits

Author	SHA1	Message	Date
Floris van Doorn	68345f75ce	move more and update after changes	2018-09-11 19:24:51 +02:00
Floris van Doorn	743985e3d8	Work on pointed naturality of smash-C	2018-01-17 19:17:05 -05:00
Floris van Doorn	3367c20f9d	make pointed suspension and spheres the default ... There is one proof in realprojective which I couldn't quite fix, so for now I left a sorry	2017-07-20 18:03:13 +01:00
Floris van Doorn	ead933e0a9	move spectrum files to separate directory	2017-07-17 15:54:05 +01:00

Renamed from homotopy/smash_spectrum.hlean (Browse further)