Theorem HolderWith.smul_iff

Modification history