rdf#nil  the list that has no items; the uniqueness of null_list follows from the extensionality of lists, i.e. the fact that two lists with the same items in the same order are identical
  equal:  nil (pm)  null_list (pm)
  type:  null__null_list  type of empty lists

No statement uses or specializes null_list; click here to add one.


Another search (with same display options)?