Theorem wellFoundedGT_antisymmetrization_iff

Modification history

2024-11-04 23:57

Mathlib/Order/Antisymmetrization.lean

feat: generalize `Prod.wellFoundedLT/GT` to `Preorder`s (#17435) …

Added wellFoundedGT_antisymmetrization_iff View on Github →