Theorem Units.smul_is_unit

Modification history