Theorem abs_sq

Modification history