class Manifold m
class Semimanifold x
type Needle' x
class PseudoAffine x
type Metric x
type Metric' x
type RieMetric x
type RieMetric' x
type RealDimension r
type AffineManifold m
type LinearManifold x
type WithField s c x
type HilbertSpace x
type EuclidSpace x
type LocallyScalable s x
type LocalLinear x y
type LocalAffine x y
class LocallyCoercible x ξ
class ImpliesMetric s