Def FreeAlgebra.Pre.hasOne

Modification history