Theorem ModP.v_p_lt_val

Modification history