Theorem lt_compl_self

Modification history

2026-07-15 12:13
Mathlib/Order/Heyting/Basic.lean
feat: use `to_dual` for `HeytingAlgebra` (#33543) …
Modified lt_compl_selfView on Github →
2023-07-18 03:33
Mathlib/Order/Heyting/Basic.lean
feat: CompletelyDistribLattice (#5238) …
Added lt_compl_selfView on Github →