mathlib
8ca92637 - feat(topology/subset_properties): fintype.compact_space (#1786)

Commit

6 years ago

feat(topology/subset_properties): fintype.compact_space (#1786) Finite topological spaces are compact.

References

Author

jcommelin

Committer

mergify[bot]

Parents