Theorem FreeAlgebra.lift_ι_apply

Modification history