Theorem SetTheory.PGame.Lf.not_equiv

Modification history