Theorem Nat.infinite_setOf_pseudoprimes

Modification history

2026-07-17 09:57

Mathlib/NumberTheory/FermatPsp.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Deleted Nat.infinite_setOf_pseudoprimes View on Github →

2023-08-10 10:11

Mathlib/NumberTheory/FermatPsp.lean

fix(NumberTheory/FermatPsp): Update definition and theorem names (#6371) …

Added Nat.infinite_setOf_pseudoprimes View on Github →