mathlib3
4265f2c9 - chore(data/int/basic): Add int.units_mul_self (#5101)

Commit

5 years ago

chore(data/int/basic): Add int.units_mul_self (#5101)

Author

eric-wieser

eric-wieser

Parents

Loading