Def TopologicalSpace.Opens.frameMinimalAxioms

Modification history

2024-07-23 12:07

Mathlib/Topology/Sets/Opens.lean

refactor: Make `Frame` extend `HeytingAlgebra` (#10560) …

Added TopologicalSpace.Opens.frameMinimalAxioms View on Github →