Def LatticeCon.ker

Modification history

2025-09-19 18:56
Mathlib/Order/Lattice/Congruence.lean
feat(Order/Lattice): conditions for an equivalence relation to be a lattice congruence (#26836) …
Added LatticeCon.kerView on Github →