Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
S:Sequent.
S = 0
f
S.H.(
(
f > 0))
f
S.C.(
(
f > 0))
Applied Tactic:
Fiat
Generated subgoals:
None
S:Sequent. 
S = 0 
f
S.H.(
( f > 0)) 
fS.C.(( f > 0))