Skip to content

feat: constant folding for Nat.mul #18060

feat: constant folding for Nat.mul

feat: constant folding for Nat.mul #18060

check-awaiting-mathlib

succeeded Dec 4, 2025 in 5s