mathlib3
72c6979b - refactor(set_theory/ordinal_arithmetic): remove dot notation (#12614)

Commit

4 years ago

refactor(set_theory/ordinal_arithmetic): remove dot notation (#12614)

Author

vihdzp

vihdzp

Parents

Loading