fact: Definition CRasCAbGroup : CAbGroup := Build_CAbGroup _ CRisCAbGroup.
imports: CoRN.algebra.RSetoid CoRN.metric2.Metric CoRN.metric2.UniformContinuity CoRN.model.groups.CRgroup CoRN.reals.fast.CRcorrect CoRN.algebra.CAbGroups CoRN.tactics.CornTac