Skip to content

Upstreaming a small collection of lemmas

Michael Sammler requested to merge msammler/small-lemma-collection into master

This MR upstreams a small collection of lemmas from Islaris.

Merge request reports