Theorem Nat.minFac_two

Modification history

2024-05-14 23:22
Mathlib/Data/Nat/Prime.lean
chore: robustify proofs against leanprover/lean4#4061 (#12906) …
Added Nat.minFac_twoView on Github →