Theorem Set.Ioc_inter_Ioc

Modification history