Theorem Set.finite_Ioo

Modification history