Some lemmas related to renamings and substitutions#1750
Merged
MatthewDaggitt merged 8 commits intomasterfrom Sep 27, 2023
Merged
Some lemmas related to renamings and substitutions#1750MatthewDaggitt merged 8 commits intomasterfrom
MatthewDaggitt merged 8 commits intomasterfrom
Commits
Commits on Apr 7, 2022
Commits on Aug 17, 2023
- authored andcommitted
- authored andcommitted
