Theorem ZMod.le_div_two_iff_lt_neg

Modification history