Skip to content

Add a number of missing intersection lemmas

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

This pull request adds a number of missing lemmas about the intersection on options (closes #166 (closed)). The lookup_intersection lemma was added in !466 (merged).

Merge request reports