michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
387 commits 2 branches 0 tags 2.7 MiB
Commit graph

3 commits

Author SHA1 Message Date
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