Theorem Nat.factors_mul_toFinset

Modification history