Theorem RCLike.norm_nnqsmul

Modification history