A mapping from a Tangent Space to a Scalar. More...

Concept definition

template<typename W, typename V, typename F>
concept dedekind::analysis::IsDifferentialForm =  requires(W w, V v) {
  { w(v) } -> std::same_as<F>;  
}

Detailed Description

A mapping from a Tangent Space to a Scalar.