Skip to content
GitLab

various algebra lemmas

Merged Ralf Jung requested to merge ralf/algebra-lemmas into master

@robbertkrebbers proposed I extract these out of !486 (merged), so here we go.