Theorem StrictMono.not_bddAbove_range_of_wellFoundedLT

Modification history

2024-09-24 07:14
Mathlib/Order/WellFounded.lean
feat(Order/WellFounded): `StrictMono.not_bddAbove_range` (#16960) …
Added StrictMono.not_bddAbove_range_of_wellFoundedLTView on Github →