Def Bundle.ContinuousRiemannianMetric.toRiemannianMetric

Modification history