Module cp_library_rs::algebraic_structure::ordered_monoid

source ·
Expand description

モノイドに対する順序の実装

Traits