Theorem Finset.inf'_induction

Modification history