Theorem SetTheory.PGame.add_zero_equiv

Modification history