Theorem fst_compl

Modification history

2026-01-14 11:11

Mathlib/Order/Heyting/Basic.lean

feat: rename `HasCompl` to `Compl` (#33545) …

Modified fst_compl View on Github →

2022-12-01 23:11

Mathlib/Order/Heyting/Basic.lean

feat: port Order.Heyting.Basic (#793) …

Added fst_compl View on Github →