Simplify (and generalize) `invElPropElimN`#1102

Merged

MatthiasHu merged 4 commits intoagda:masterfrom MatthiasHu:generalize-equalizerLemma

Feb 16, 2024

+44-69

Commits on Feb 15, 2024

Commits on Feb 16, 2024

Merge branch 'master' into generalize-equalizerLemma
MatthiasHu
committed