Theorem Nat.deficient_two

Modification history