Theorem StrictAnti.wellFoundedLT

Modification history

2024-07-18 16:46
Mathlib/Order/WellFounded.lean
feat(Order/WellFounded): well-founded of strictly monotone (#14034) …
Added StrictAnti.wellFoundedLTView on Github →