Theorem Finset.cons_induction_on

Modification history