Theorem sq_sub_sq

Modification history