Theorem omegaLimit_eq_interᵢ

Modification history