Skip to content
Snippets Groups Projects

Add lemmas about `last` and `head`: `last_app_or`, `head_app_or`, and `head_app`.

Merged Add lemmas about `last` and `head`: `last_app_or`, `head_app_or`, and `head_app`.
marijnvanwezel/stdpp:marijnvanwezel/properties_of_head into master
Merged Marijn van Wezel requested to merge marijnvanwezel/stdpp:marijnvanwezel/properties_of_head into master