Theorem disjoint_of_subsingleton

Modification history

2023-11-03 16:55
Mathlib/Order/Disjoint.lean
feat: characterise independence in compactly-generated lattices (#8154) …
Added disjoint_of_subsingletonView on Github →