Theorem StrictMono.apply_le

Modification history

2026-08-24 11:53
Mathlib/Order/WellFounded.lean
chore(Order/WellFounded): use `to_dual` (#39438) …
Deleted StrictMono.apply_leView on Github →
2024-09-17 07:27
Mathlib/Order/WellFounded.lean
feat(Order/WellFounded): Generalize `StrictMono.id_le` (#16706) …
Added StrictMono.apply_leView on Github →