Theorem FreeAlgebra.ι_inj

Modification history