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