Theorem TopologicalSpace.Opens.infLELeft_apply

Modification history

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