Theorem Set.finite_Icc

Modification history