as:T List. (
i.as[i]){
||as||} = asas:T List. (i:||as||. as[i]){||as||} = as| Rank | Theorem | Name |
| 2 | as:T List. (i.as[i]){||as||} = as | [sfa_doc_listify_select_id] |
| cites the following: | ||
| 1 | as:T List. (i:||as||. as[i]){||as||} = as | [listify_select_id] |