Theorem Nat.factors_zero

Modification history