cp_
library_
rs
0.3.19
Module to_
acted
Module Items
Structs
In cp_
library_
rs::
algebraic_
structure
cp_library_rs
::
algebraic_structure
Module
to_acted
Copy item path
Source
Expand description
モノイドを作用付きモノイドに変換
Structs
§
ToActed
モノイドを作用付きモノイドに変換する