Theorem FreeAlgebra.ι_injective

Modification history