Def Subalgebra.mulMap

Modification history

2024-12-20 20:23

Mathlib/LinearAlgebra/TensorProduct/Subalgebra.lean

feat: some more properties of linearly disjoint (#19614) …

Modified Subalgebra.mulMap View on Github →

2024-07-16 22:33

Mathlib/LinearAlgebra/TensorProduct/Subalgebra.lean

feat(LinearAlgebra/TensorProduct/Subalgebra): some linear maps induced by multiplication for subalgebras (#14611) …

Added Subalgebra.mulMap View on Github →