Theorem Rat.AbsoluteValue.real_eq_abs

Modification history