Theorem PGame.add_congr_left

Modification history