Theorem SetTheory.Game.PGame.equiv_iff_game_eq

Modification history