Theorem SetTheory.PGame.grundyValue_eq_mex_right

Modification history