Theorem TensorProduct.map_zero_right

Modification history

2025-10-30 11:10

Mathlib/LinearAlgebra/TensorProduct/Basic.lean

chore(LinearAlgebra/TensorProduct/Basic): more semi-linearizing (#27353)

Modified TensorProduct.map_zero_right View on Github →

2023-12-07 11:12

Mathlib/LinearAlgebra/TensorProduct.lean

feat(RingTheory/Coalgebra): product of coalgebras (#8822) …

Added TensorProduct.map_zero_right View on Github →