Theorem disjoint_of_le_iff_left_eq_bot

Modification history

2024-11-06 17:23
Mathlib/Order/Disjoint.lean
feat: several results on permutations, cycles, etc (#17046) …
Added disjoint_of_le_iff_left_eq_botView on Github →