mathlib3
4ee67acb - chore(*): use prod notation (#2989)
Commit
View On GitHub
Commit
5 years ago
chore(*): use prod notation (#2989) The biggest field test of the new product notation.
Author
kckennylau kckennylau
Parents
a377993a
FAQ Terms Privacy Refunds Impressum
Loading