Theorem nonempty_omegaLimit_of_isCompact_absorbing

Modification history