Theorem IsScalarTower.smulHomClass

Modification history