add some lookup_{union,difference} lemmas (!315) · Merge requests · Iris / stdpp

Merged Ralf Jung requested to merge ralf/lookup-union-difference into master 4 years ago

Status	Pipeline	Stages
Passed 00:05:38 4 years ago	changelog #51448 315 90b61523	Stage: build	Download artifacts No artifacts found
Passed 00:07:19 4 years ago	changelog #51438 315 c288716d	Stage: build	Download artifacts No artifacts found
Failed 00:07:24 4 years ago	changelog #51430 315 985e9cbd	Stage: build	Download artifacts No artifacts found
1
Passed 00:07:24 4 years ago	make names more consistent #51419 315 72fe4c78	Stage: build	Download artifacts No artifacts found
Canceled 4 years ago	shorter proof #51418 315 629eac17	Stage: build	Download artifacts No artifacts found
Passed 00:10:22 4 years ago	add some lookup_{union,difference} lemmas #51409 315 7dc82965	Stage: build	Download artifacts No artifacts found

add some lookup_{union,difference} lemmas