Theorem Nat.factors_eq_nil

Modification history