src/HOL/Homology/Brouwer_Degree.thy
2019-04-10 paulson The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
2019-04-09 paulson More homology material
less more (0) tip