Theorem PGame.birthday_half

Modification history