law scalar_mul

bendtorch-core@0.1.0.0 · src/tensor/core_LAWS.bend:48

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

48law scalar_mul:
49  for +left: F32
50  for +right: F32
51  {Elementwise.scalar(Elementwise.Mul{}, left, right) == F32.mul(left, right) : F32}