Theorem Units.smul_mk0

Modification history