Theorem IsLUB.inter_Ici_of_mem

Modification history