Theorem Codisjoint.out

Modification history

2025-12-24 12:03

Mathlib/Order/Disjoint.lean

feat(Order/Disjoint): use `@[to_dual]` (#33140) …

Deleted Codisjoint.out View on Github →

2025-11-28 16:39

Mathlib/Order/Disjoint.lean

feat: grind annotations for `Disjoint` (#28026)

Added Codisjoint.out View on Github →