Theorem nonempty_omegaLimit

Modification history