Theorem sub_sq

Modification history