Theorem AddMonoidAlgebra.of'_modOf

Modification history