mathlib3
d3cc9935 - chore(data/pprod): Add pprod.mk.eta (#5114)

Commit

5 years ago

chore(data/pprod): Add pprod.mk.eta (#5114) This is exactly the same as prod.mk.eta

Author

eric-wieser

Parents