Theorem SetTheory.PGame.birthday_add_nat

Modification history