Theorem omegaLimit_iInter

Modification history