---

Step * of Lemma aa_list_filter_indices_wf

T:Type. l:T List.  (aa_list_filter_indices(l)      (T List))
BY
{ ProveWfLemma }


\mforall{}T:Type.  \mforall{}l:T  List.    (aa\_list\_filter\_indices(l)  \mmember{}  \mBbbN{}  {}\mrightarrow{}  \mBbbB{}  {}\mrightarrow{}  (T  List))


By

ProveWfLemma



Home Index