Skip to content
Snippets Groups Projects

Add a number of missing intersection lemmas

Merged Add a number of missing intersection lemmas
marijnvanwezel/stdpp:intersection_lemmas into master
Merged 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

Merge request pipeline #86610 passed

Stage: build

Merge request pipeline passed for e9359f19

Merged by Robbert KrebbersRobbert Krebbers 1 year ago (Aug 2, 2023 9:47am UTC)

Loading

Pipeline #86755 passed

Stage: build

Pipeline passed for 582dc586 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply