src/HOL/Homology/Invariance_of_Domain.thy
6 months ago paulson 2019-04-11 type instantiations for poly_mapping as a real_normed_vector
6 months ago paulson 2019-04-10 prod/sum fixes
6 months ago paulson 2019-04-10 Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
6 months ago paulson 2019-04-10 The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale