Theorem SetTheory.PGame.le_grundyValue_of_Iio_subset_moveLeft

Modification history