4 commits

Author	SHA1	Message	Date
Floris van Doorn	e7c3144dbd	fill in sorry in spherical_fibrations	2016-09-15 18:05:58 -04:00
Ulrik Buchholtz	288e0d71b2	make everything compile on lean post 6f74f6522...	2016-03-24 16:14:44 -04:00
Ulrik Buchholtz	5a23744094	update README to reflect recent discussion	2016-03-24 13:27:21 -04:00
Ulrik Buchholtz	9ca4a3fbb1	start spherical fibrations (NB post #1021 lean)	2016-03-24 13:27:21 -04:00