Theorem TensorAlgebra.ι_eq_algebraMap_iff

Modification history