Theorem Finset.induction_on_min_value

Modification history