Theorem SetTheory.PGame.toLeftMovesNim_one_symm

Modification history