mathlib3
326465de - chore(set_theory/ordinal/natural_ops): use derive (#14859)

Commit

3 years ago

chore(set_theory/ordinal/natural_ops): use derive (#14859)

Author

vihdzp

vihdzp

Parents

Loading