Theorem SetTheory.PGame.grundyValue_eq_mex_left

Modification history