Theorem abs_qParam_lt_iff

Modification history