Add lookup lemmas for partial alter and commuting lemmas for alter (!399) · Merge requests · Iris / stdpp

Merged Michael Sammler requested to merge ci/msammler/map_commuting_lemmas into master 2 years ago

Status	Pipeline	Stages	Actions
Passed 00:05:59 2 years ago	Avoid relying on `setoid_rewrite` unfolding things. #69942 399 bfa786c0 merge request	Stage: build	No artifacts found
Passed 00:05:57 2 years ago	Add lookup lemmas for partial alter and commuting lemmas for alter #69736 399 20cfcd95 merge request	Stage: build	No artifacts found
Passed 00:05:59 2 years ago	Avoid relying on `setoid_rewrite` unfolding things. #69941 ci/msammler/map_commuting_lemmas bfa786c0	Stage: build	No artifacts found
Passed 00:09:57 2 years ago	Add lookup lemmas for partial alter and commuting lemmas for alter #69735 ci/msammler/map_commuting_lemmas 20cfcd95	Stage: build	No artifacts found

Add lookup lemmas for partial alter and commuting lemmas for alter