mathlib
dccdef6b - chore(set_theory/ordinal/basic): golf ordinal addition definition (#14744)

Commit

3 years ago

chore(set_theory/ordinal/basic): golf ordinal addition definition (#14744)

Author

vihdzp

vihdzp

Parents

Loading