Theorem Units.smul_isUnit

Modification history