Theorem TopologicalSpace.Opens.infLELeft_apply_mk

Modification history

2023-05-05 12:24
Mathlib/Topology/Category/Top/Opens.lean
chore: tidy various files (#3718)
Added TopologicalSpace.Opens.infLELeft_apply_mkView on Github →