Theorem Nat.even_sub

Modification history