Theorem Nat.coprime_of_lt_minFac

Modification history

2025-10-19 14:27
Mathlib/Data/Nat/Prime/Basic.lean
chore: miscellaneous linter whitespace fixes (#30663) …
Modified Nat.coprime_of_lt_minFacView on Github →
2025-03-17 01:20
Mathlib/Data/Nat/Prime/Basic.lean
feat: add some elementary number theory lemmas (#22989) …
Added Nat.coprime_of_lt_minFacView on Github →