Theorem Finset.sup_induction

Modification history