Commit 2023-12-27 09:02 565cdcb2

View on Github →

chore(ArithmeticFunction): add cardFactors_zero (#9287)

  • Add a dsimp lemma cardFactors_zero
  • Make cardFactors_one a dsimp lemma
  • make cardFactors_eq_one_iff_prime a simp lemma

Estimated changes