Theorem sq_lt_sq

Modification history