Theorem TensorProduct.AlgebraTensorModule.tensorTensorTensorComm_eq

Modification history

2025-05-26 13:39
Mathlib/LinearAlgebra/TensorProduct/Tower.lean
chore(RingTheory/HopfAlgebra): redo tensor product (#25196) …
Added TensorProduct.AlgebraTensorModule.tensorTensorTensorComm_eqView on Github →