Theorem MemHolder.smul_iff

Modification history