Skip to content

feat: constant folding for Nat.mul #20628

feat: constant folding for Nat.mul

feat: constant folding for Nat.mul #20628

check-prelude

succeeded Dec 4, 2025 in 9s