Theorem sq_nonneg

Modification history