Skip to content

generalize iso_cmra_mixin_restrict to a lemma that can also restrict the domain

Ralf Jung requested to merge ralf/iso_cmra into master

I need this for another WIP MR.

Merge request reports