Theorem iInf_iUnion

Modification history