Theorem Set.Finite.dinduction_on

Modification history