Theorem WellFounded.wellFounded_iff_has_max'

Modification history