mathlib3
c356c1f2 - chore(ring_theory/tensor_product): golf proofs (#7089)

Commit

4 years ago

chore(ring_theory/tensor_product): golf proofs (#7089) Cherry-picked from #4773, entirely written by @jcommelin

Author

jcommelin

Parents