Theorem odd_abs

Modification history