Theorem Finset.strongInduction_eq

Modification history