Skip to content

feat: constant folding for Nat.mul #20783

feat: constant folding for Nat.mul

feat: constant folding for Nat.mul #20783

check-lean-files

succeeded Dec 4, 2025 in 30s