Def AbsoluteValue.trivial

Modification history