Theorem Basis.groupSmul_apply

Modification history