Theorem SetTheory.PGame.Numeric.add

Modification history