Theorem sign_cases_of_C_mul_pow_nonneg

Modification history