Theorem Finset.sup'_induction

Modification history