cp_
library_
rs
0.3.19
Module actedmonoid_
with_
size
Module Items
Traits
In cp_
library_
rs::
algebraic_
structure
cp_library_rs
::
algebraic_structure
Module
actedmonoid_with_size
Copy item path
Source
Expand description
長さを保持した作用付きモノイド
Traits
§
Acted
Monoid
With
Size
長さを保持した作用付きモノイド