Theorem SMul.comp.smulCommClass'

Modification history