Theorem WellFounded.wellFounded_iff_has_min'

Modification history