Theorem Odd.sub_odd

Modification history