Theorem himp_le

Modification history

2026-02-24 10:38

Mathlib/Order/BooleanAlgebra/Basic.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Modified himp_le View on Github →

2023-04-24 08:51

Mathlib/Order/BooleanAlgebra.lean

feat: `insert` and `erase` lemmas (#3569) …

Added himp_le View on Github →