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

2 commits

Author SHA1 Message Date
Ulrik Buchholtz
2f16008700 no longer working on truncatedness of suspensions of pointed sets (: - still some clean-up to do 2018-10-26 16:51:42 +02:00
Ulrik Buchholtz
4313f3f642 working on truncatedness of suspensions of sets 2018-10-24 17:07:35 +02:00