Mathlib Changelog
v4
Changelog
About
Github
Theorem
le_iff_lt_or_antisymmRel
Modification history
2025-01-26 13:15
Mathlib/Order/Antisymmetrization.lean
feat(Order/Antisymmetrization): `AntisymmRel` lemmas (#19571) …
Added
le_iff_lt_or_antisymmRel
View on Github →