Theorem one_lt_sq_iff_one_lt_abs

Modification history