Theorem PGame.impartial_def

Modification history