Theorem Nat.deficient_three

Modification history