Theorem SetTheory.PGame.not_lf

Modification history