Theorem SetTheory.PGame.leftMoves_mul

Modification history