Theorem PGame.grundyValue_eq_iff_equiv_nim

Modification history