Theorem sq_lt_one_iff_abs_lt_one

Modification history