Theorem Set.Finite.induction_on

Modification history