A commutative additive monoid participating in a Linear Action: dedekind::category::IsSemimodule, whose laws are the trait is_linear_action_v there. More...

Concept definition

template<>

concept dedekind::algebra::IsSemimodule =

dedekind::algebra::IsSemimodule

A commutative additive monoid participating in a Linear Action: dedekind::category::IsSemimodule,...

Detailed Description

A commutative additive monoid participating in a Linear Action: dedekind::category::IsSemimodule, whose laws are the trait is_linear_action_v there.