Theorem Prod.wellFoundedGT'

Modification history

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