Theorem abs_lt_of_sq_lt_sq

Modification history