Nonnegativity of law coefficients at `q` is preserved by scaling by nonnegative expressions, products, finite products, flat maps and descents, and holds for atoms and the unit law;

Initializing...

Nonnegativity of law coefficients at `q` is preserved by scaling by nonnegative expressions, products, finite products, flat maps and descents, and holds for atoms and the unit law; · Prove2Me