favonia 5fdc8ad2c8 Seal several definitions as theorems.		2017-06-06 23:10:25 -06:00
..
homology.hlean	Seal several definitions as theorems.	2017-06-06 23:10:25 -06:00
sphere.hlean	Add Hsphere.	2017-06-06 17:30:42 -06:00