Theorem Rat.AbsoluteValue.exists_pos_eq_pow_neg

Modification history