Def AbsoluteValue.trivial:

Modification history