Theorem SetTheory.PGame.add_congr

Modification history