Theorem nnqsmul_nonneg

Modification history