Theorem Units.smul_inv

Modification history