Zulip Chat Archive
Stream: mathlib4
Topic: padicValNat
bh jiang (Aug 04 2025 at 05:48):
Does matlib have this theorem?
2025-08-04 134118.png
Markus Himmel (Aug 04 2025 at 05:52):
See docs#Nat.factorization_gcd and docs#Nat.factorization_def.
Last updated: Dec 20 2025 at 21:32 UTC