Skip to content

Random collection of lemmas from RefinedC

Michael Sammler requested to merge msammler/misc_upstream into master

These are some things from RefinedC that I would like to upstream to stdpp. There are still some open questions, see the comments for them. Please let me know which of these changes make sense in stdpp.

Merge request reports