5 commits

Author	SHA1	Message	Date
Floris van Doorn	e4168439c0	work on homotopy group of prespectrum	2017-06-08 20:09:48 -04:00
Robert Rose	8b97339ffa	seq_colim universal property	2017-06-08 18:17:23 -04:00
Robert Rose	21a0dcfcfe	seq_colim_elim added	2017-06-07 10:30:32 -06:00
Floris van Doorn	18ee7ce410	redefine direct_sum to use multiplicative groups	2017-06-07 01:01:19 -04:00
Robert Rose	74955d5a75	Stub of seq_colim	2017-06-06 21:53:45 -06:00