Def Filter.coframeMinimalAxioms

Modification history

2024-09-09 19:54

Mathlib/Order/Filter/Basic.lean

chore(Filter/Basic): use `abbrev` (#16624) …

Deleted Filter.coframeMinimalAxioms View on Github →

2024-07-23 12:07

Mathlib/Order/Filter/Basic.lean

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

Added Filter.coframeMinimalAxioms View on Github →