Theorem Nat.factors_sorted

Modification history