Theorem PGame.add_lf_add_right

Modification history