Theorem SetTheory.PGame.neg_birthday

Modification history