Mathlib v3 is deprecated. Go to Mathlib v4

Def nat.factors

Modification history

2022-12-08 18:41

src/data/nat/factors.lean

chore(data/nat/prime): reduce imports more (#17854) …

Modified nat.factors View on Github →

2017-11-30 22:10

data/nat/prime.lean

feat(data/analysis): calculations with filters / topologies + misc

Added nat.factors View on Github →