Theorem Acc.of_subrel

Modification history

2024-10-18 10:35
Mathlib/Order/RelIso/Set.lean
chore(Order/RelIso/Set): golf `wellFounded_iff_wellFounded_subrel` (#17606) …
Added Acc.of_subrelView on Github →