Theorem Set.finite_Iic

Modification history