Theorem StrictMono.wellFoundedLT

Modification history

2024-07-18 16:46

Mathlib/Order/WellFounded.lean

feat(Order/WellFounded): well-founded of strictly monotone (#14034) …

Added StrictMono.wellFoundedLT View on Github →