mathlib
0fd9e309 - feat(set_theory/ordinal_arithmetic): `smul` coincides with `mul` (#12692)

Commit

3 years ago

feat(set_theory/ordinal_arithmetic): `smul` coincides with `mul` (#12692)

Author

vihdzp

vihdzp

Parents

Loading