Theorem AntisymmRel.le

Modification history

2025-03-06 02:45

Mathlib/Order/Antisymmetrization.lean

feat(Order/Comparable): comparability/incomparability relations (#19580) …

Modified AntisymmRel.le View on Github →

2025-01-26 13:15

Mathlib/Order/Antisymmetrization.lean

feat(Order/Antisymmetrization): `AntisymmRel` lemmas (#19571) …

Added AntisymmRel.le View on Github →