fact: Definition CRasCGroup : CGroup := Build_CGroup _ _ CRisCGroup.
imports: CoRN.algebra.RSetoid CoRN.metric2.Metric CoRN.metric2.UniformContinuity CoRN.reals.fast.CRGroupOps CoRN.model.monoids.CRmonoid CoRN.reals.fast.CRcorrect CoRN.tactics.CornTac