Theorem WellFounded.has_min

Modification history