Def Antisymmetrization.prodEquiv

Modification history

2024-11-04 23:57
Mathlib/Order/Antisymmetrization.lean
feat: generalize `Prod.wellFoundedLT/GT` to `Preorder`s (#17435) …
Added Antisymmetrization.prodEquivView on Github →