Theorem SetTheory.PGame.Lf.not_ge

Modification history