Theorem omegaLimit_eq_iInter

Modification history