Theorem FreeAlgebra.toTensor_ι

Modification history