Theorem SetTheory.PGame.birthday_half

Modification history