Theorem omegaLimit_inter

Modification history