Theorem SetTheory.Game.PGame.lf_iff_game_lf

Modification history