Update is_tensor_product.lean - SemanticDiff

Commit

3 years ago

Update is_tensor_product.lean

References

is_tensor_product_of_surjective

#17010 - feat(src/ring_theory/is_tensor_product): Base change along a surjection.

Author

erdOne

erdOne

Parents

Loading