Mathlib Changelog
v4
Changelog
About
Github
Theorem
Algebra.TensorProduct.map_id
Modification history
2023-11-09 12:45
Mathlib/RingTheory/TensorProduct.lean
style: add missing spaces around colons (#8293) …
Modified
Algebra.TensorProduct.map_id
View on Github →
2023-09-08 11:01
Mathlib/RingTheory/TensorProduct.lean
chore(*/TensorProduct): missing functorial lemmas (#6781) …
Added
Algebra.TensorProduct.map_id
View on Github →