Generalize commute-subst-rename#1130

damhiya wants to merge 1 commit intoplfa:devplfa/plfa.github.io:devfrom

damhiya:generalize-commute-subst-renamedamhiya/plfa.github.io:generalize-commute-subst-renameCopy head branch name to clipboard