Theorem SetTheory.PGame.le_zero_of_isEmpty_leftMoves

Modification history