Theorem FreeAlgebra.liftAux_eq

Modification history