Theorem Real.smoothTransition.nonneg

Modification history