Theorem WellFounded.not_lt_min

Modification history