Theorem LinearPMap.smul_domain

Modification history