Theorem AbsoluteValue.apply_nat_le_self

Modification history