Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
B:(T
)
T
. Mono{i}(b,x.B[b;x] on T)
'
Applied Tactic:
Unfold `mono` 0 THEN Auto
Generated subgoals:
None
T:
. B:(T 
) T . Mono{i}(b,x.B[b;x] on T) 
' T:. B:(T ) T . Mono{i}(b,x.B[b;x] on T) '