Theorem omegaLimit_def

Modification history