Theorem Even.sub_odd

Modification history