A pointed (T, Op) where every element has an Op-inverse. More...

Concept definition

template<typename T, typename Op>

concept dedekind::category::IsInvertible = IsPointed<T, Op> && is_invertible_v<T, Op>

dedekind::category::IsInvertible

A pointed (T, Op) where every element has an Op-inverse.

Definition total.cppm:548

dedekind::category::IsPointed

A type T has a chosen identity element under operation Op.

Definition total.cppm:424

dedekind::category::is_invertible_v

constexpr bool is_invertible_v

The Shorthand for the Registry.

Definition species.cppm:411

Detailed Description

A pointed (T, Op) where every element has an Op-inverse.

Re-homed from :species under #637, alongside IsPointed which it composes with. The underlying is_invertible_v trait stays in :species as the trait-registry surface.