Def SemiNormedGroup.Completion.lift

Modification history