Theorem Function.Surjective.wellFounded_iff

Modification history

2023-09-12 17:41
Mathlib/Order/RelIso/Basic.lean
chore(Order/RelIso): golf, fix NS (#7114) …
Added Function.Surjective.wellFounded_iffView on Github →