Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsCompact.of_isClosed_subset
Modification history
2023-09-22 11:29
Mathlib/Topology/SubsetProperties.lean
chore(Topology/SubsetProperties): rename isCompact_of_isClosed_subset (#7298) …
Added
IsCompact.of_isClosed_subset
View on Github →