Skip to content

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

Marijn van Wezel requested to merge marijnvanwezel/stdpp:marijnvanwezel/properties_of_head into master

This MR adds lemmas about last and head: last_app_or, head_app_or, and head_app.

Merge request reports