Theorem AbsoluteValue.apply_natAbs_eq

Modification history