Theorem LinearAlgebra.FreeProduct.mul_injections

Modification history