Theorem SetTheory.PGame.Relabelling.birthday_congr

Modification history