Theorem isCompl_comm

Modification history

2023-11-08 20:09
Mathlib/Order/Disjoint.lean
feat: Sum of lattices (#8181) …
Added isCompl_commView on Github →