Theorem abs_lt_of_sq_lt_sq'

Modification history