Theorem Disjoint.out

Modification history

2025-11-28 16:39
Mathlib/Order/Disjoint.lean
feat: grind annotations for `Disjoint` (#28026)
Added Disjoint.outView on Github →