Theorem WellFounded.prop_min

Modification history

2026-03-15 15:56
Mathlib/Order/WellFounded.lean
chore(WellFounded): drop unneeded `Set.Nonempty` assumptions (#35933) …
Added WellFounded.prop_minView on Github →