mathlib
c6f33994 - feat(topology/subset_properties): add `is_compact.induction_on` (#3642)

Commit

5 years ago

feat(topology/subset_properties): add `is_compact.induction_on` (#3642) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

urkud

Parents