Level: Lib Thy Top: 1
Hypotheses:

  1. n :

  2. m :

Conclusion:

n * m

Applied Tactic: InstLemma `mul_preserves_le` [0;m;n] THENA Auto
Generated subgoals:

1. n * m