Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsPartialGroup Concept Referenceexport
module dedekind.category

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialGroup = IsPartialLoop<T, Op>
dedekind::category::IsPartialGroup
Definition partial.cppm:334
dedekind::category::IsPartialLoop
A Partial Monoid with local invertibility on support.
Definition partial.cppm:323