Theorem SetTheory.PGame.leftMoves_mul_cases

Modification history