Theorem SetTheory.PGame.zero_le_of_isEmpty_rightMoves

Modification history