Theorem PGame.Domineering.fst_pred_mem_erase_of_mem_right

Modification history