Theorem Nat.factors_unique

Modification history