Mathlib Changelog
v4
Changelog
About
Github
Theorem
toAntisymmetrization_mono
Modification history
2025-03-13 11:07
Mathlib/Order/Antisymmetrization.lean
chore: review of porting notes in `Order/` (#22895)
Modified
toAntisymmetrization_mono
View on Github →
2022-12-07 12:38
Mathlib/Order/Antisymmetrization.lean
feat port: Order.Antisymmetrization (#876) …
Added
toAntisymmetrization_mono
View on Github →