Theorem Finset.induction_on_min

Modification history