Theorem add_sq

Modification history