Theorem Nat.factors_count_eq

Modification history