Skip to content

feat: constant folding for Nat.mul #18061

feat: constant folding for Nat.mul

feat: constant folding for Nat.mul #18061

check-awaiting-mathlib

succeeded Dec 4, 2025 in 3s