mathlib3
425dfe76 - feat(set_theory/game/ordinal): golf `to_pgame_birthday` (#14662)

Commit

3 years ago

feat(set_theory/game/ordinal): golf `to_pgame_birthday` (#14662)

Author

vihdzp

vihdzp

Parents

Loading