Skip to content

generalize iso_cmra_mixin_restrict to a lemma that can also restrict the domain

Ralf Jungrequested to merge
ralf/iso_cmra into master

I need this for another WIP MR.

Merge request reports