Theorem PGame.impartialAux_def

Modification history