Lemmas for lookup on mjoin

added 1 commit

• e043bd8b - Lemmas for lookup on mjoin

Compare with previous version

Thanks for the MR. I left some comments.

added 1 commit

• dafbb1a7 - Lemmas for lookup on mjoin

Compare with previous version

Thanks for your suggestions. They improve these lemmas quite a bit. I've integrated them into this MR.

resolved all threads

LGTM. Do you want a CHANGELOG entry for this? Or good to go without?

added 1 commit

• 91936be2 - Lemmas for lookup on mjoin

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for 91936be2 succeeds

Thanks. Merging.

mentioned in commit 85d36776

merged