Skip to content

various algebra lemmas

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

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

Merge request reports