Theorem MonoidAlgebra.GroupSmul.linearMap_apply

Modification history