Theorem Antisymmetrization.prodEquiv_apply_mk

Modification history

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