Theorem compl_sInf'

Modification history

2024-07-23 12:07

Mathlib/Order/CompleteBooleanAlgebra.lean

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

Deleted compl_sInf'View on Github →

2023-06-30 01:46

Mathlib/Order/CompleteBooleanAlgebra.lean

fix: change compl precedence (#5586)

Modified compl_sInf'View on Github →

2023-05-14 07:05

Mathlib/Order/CompleteBooleanAlgebra.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added compl_sInf'View on Github →