Theorem omegaLimit_eq_bInter_inter

Modification history