Theorem Set.range_injOn_strictAnti_of_wellFoundedGT

Modification history

2026-08-24 11:53
Mathlib/Order/WellFounded.lean
chore(Order/WellFounded): use `to_dual` (#39438) …
Added Set.range_injOn_strictAnti_of_wellFoundedGTView on Github →