Theorem Set.finite_Ioc

Modification history