5 commits

Author	SHA1	Message	Date
Ulrik Buchholtz	52dda63e4d	refactor strunc	2017-06-29 20:06:47 +01:00
Ulrik Buchholtz	79d13fd0d2	start map from spectrum to its truncation	2017-06-28 23:02:14 +01:00
Ulrik Buchholtz	9934c9c73d	trivial homotopy groups of truncated spectra	2017-06-28 17:19:23 +01:00
Ulrik Buchholtz	1c07806726	work on strunc	2017-06-28 15:22:45 +01:00
Floris van Doorn	d814c472ab	add strunc file for truncatedness/truncations of spectra	2017-06-28 13:15:49 +01:00