Theorem Set.finite_Ici

Modification history