Theorem PGame.impartial_iff_aux

Modification history