Def Nat.minFac

Modification history

2023-05-22 22:00

Mathlib/Data/Nat/Prime.lean

feat: port Data.Nat.PrimeNormNum (#3892) …

Modified Nat.minFac View on Github →

2022-12-22 18:28

Mathlib/Data/Nat/Prime.lean

feat: port data.nat.prime (#1156) …

Added Nat.minFac View on Github →