Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
S:
.
s:S.
l:S List. Fin(S)
Dec(mem_f(S;s;l))
Applied Tactic:
(RepD ...a)
Generated subgoals:
1
. Dec(mem_f(S;s;l))
S:
. s:S. l:S List. Fin(S) 
Dec(mem_f(S;s;l))