Theorem Set.finite_Ioi

Modification history