Theorem Prod.wellFoundedLT'

Modification history

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