def internal_nat_mul
import bend-mathlib@0.8.1.0/algebra.bend as Algebraimport Base
97def internal_nat_mul(x: Nat, y: Nat) -> Nat:
98 Nat.mul(x, y)
import bend-mathlib@0.8.1.0/algebra.bend as Algebraimport Base
97def internal_nat_mul(x: Nat, y: Nat) -> Nat:
98 Nat.mul(x, y)