Theorem sq_abs

Modification history