Theorem Subsingleton.instComplementedLattice

Modification history

2025-07-31 17:11
Mathlib/Order/Disjoint.lean
chore: scope or remove some instances (#27592) …
Added Subsingleton.instComplementedLatticeView on Github →