Theorem SetTheory.PGame.Domineering.snd_pred_mem_erase_of_mem_left

Modification history