Theorem Set.Ioc_inter_Ioi

Modification history