Def TopologicalSpace.Closeds.coframeMinimalAxioms

Modification history

2026-08-10 08:17

Mathlib/Topology/Sets/Closeds.lean

chore(Order/CompleteBooleanAlgebra): use `to_dual` (#41792) …

Deleted TopologicalSpace.Closeds.coframeMinimalAxioms View on Github →

2024-07-23 12:07

Mathlib/Topology/Sets/Closeds.lean

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

Added TopologicalSpace.Closeds.coframeMinimalAxioms View on Github →