Theorem Nat.mem_primeFactors

Modification history

2025-12-15 15:28
Mathlib/Data/Nat/PrimeFin.lean
chore: golf using `grind`. add `grind` annotations. (#32738)
Modified Nat.mem_primeFactorsView on Github →
2023-11-10 09:14
Mathlib/Data/Nat/PrimeFin.lean
refactor: Unify spelling of "prime factors" (#8164) …
Added Nat.mem_primeFactorsView on Github →