Theorem Ioc_subset_biUnion_Ioc

Modification history