Theorem toAntisymmetrization_mono

Modification history

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