Theorem PGame.grundyValue_eq_iff_equiv

Modification history