Theorem SetTheory.PGame.Domineering.moveRight_smaller

Modification history