Theorem PGame.add_congr

Modification history