Theorem one_lt_sq_iff

Modification history