---

Step * of Lemma aa_sublist_reflexive

T:Type. l:T List.  l  l
BY
{ Auto }

1
1. T : Type@i'
2. l : T List@i
 l  l


\mforall{}T:Type.  \mforall{}l:T  List.    l  \msubseteq{}  l


By

Auto



Home Index