mathlib
a3470769 - feat(set_theory/game/birthday): birthday of addition equals natural addition of birthdays (#14549)

Commit
3 years ago
feat(set_theory/game/birthday): birthday of addition equals natural addition of birthdays (#14549)
Author
Parents
Loading