Theorem AbsoluteValue.trivial_apply

Modification history