Theorem SetTheory.PGame.default_nim_one_rightMoves_eq

Modification history