Theorem Algebra.TensorProduct.includeLeftRingHom_comp_algebraMap
Modification history
2023-09-14 13:42
Mathlib/RingTheory/TensorProduct.lean
chore(RingTheory/TensorProduct): cleanup type names (#7145) …
Modified Algebra.TensorProduct.includeLeftRingHom_comp_algebraMapView on Github →