Theorem Finset.strongInductionOn_eq

Modification history