Theorem PGame.neg_birthday

Modification history