Level:
Lib
Thy
Top
:
1
Hypotheses:
m :
Conclusion:
(0
m) = 0
Applied Tactic:
NSubsetInd 1 THENW Auto
Generated subgoals:
1
. (0
m) = 0
2
. (0
m) = 0
(0
m) = 0m) = 0m) = 0