cp_library_rs::algebraic_structure

Module to_acted

Source
Expand description

モノイドを作用付きモノイドに変換

Structs§

ToActed
モノイドを作用付きモノイドに変換する