Def FreeAlgebra.Pre.hasZero

Modification history