Theorem add_sq'

Modification history