Theorem Finset.case_strong_induction_on

Modification history