Theorem PGame.Impartial.equiv_iff_add_equiv_zero

Modification history