Theorem WellFounded.wellFounded_iff_has_min

Modification history