Theorem SetTheory.PGame.toLeftMovesNim_symm_lt

Modification history