Theorem IsCompact.insert

Modification history

2023-07-26 08:17
Mathlib/Topology/SubsetProperties.lean
chore(*): add `protected` to `*.insert` theorems (#6142) …
Deleted IsCompact.insertView on Github →
2023-02-01 12:36
Mathlib/Topology/SubsetProperties.lean
feat: port Topology.SubsetProperties (#1913)
Added IsCompact.insertView on Github →