Repository navigation

Generalize `commute-subst-rename` - #1130

Open

damhiya wants to merge 2 commits into

damhiya:generalize-commute-subst-rename

Open

Generalize `commute-subst-rename`#1130
damhiya wants to merge 2 commits into
plfa:devfrom
damhiya:generalize-commute-subst-rename

Commits on Oct 2, 2025
- Generalize commute-subst-rename
  
  damhiya
  authored and
  wenkokke
  committed
  07741de
Commits on Nov 9, 2026
- Merge branch 'dev' into generalize-commute-subst-rename
  wenkokke
  authored
  13fd8e1