Theorem Nat.isCompl_even_odd

Modification history