Theorem SetTheory.PGame.toRightMovesNim_symm_lt

Modification history