Theorem sq_tsub_sq

Modification history