Theorem: Int.mul_gt_zero (MLIR/Util/Arith.lean)

State before:
n m : ℤ
⊢ n > 0 → m > 0 → n * m > 0
Tactic:
sorry
State after:
no goals