Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::analysis::dual_admits Concept Reference

Concept definition

template<typename F>
concept dedekind::analysis::dual_admits = requires { typename Dual<F>; }
Definition dual.cppm:287
Represents f(x) + f'(x)ε.
Definition dual.cppm:125