Theorem omegaLimit_iUnion

Modification history