Some lemmas related to renamings and substitutions#1750

Merged

MatthewDaggitt merged 8 commits intomasterfrom renamings_and_substitutions

Sep 27, 2023

Commits on Apr 7, 2022

Commits on Aug 17, 2023

added fixity change

jamesmckinna
authored and
gallais
committed
fixing whitespace per library convention

jamesmckinna
authored and
gallais
committed

Commits on Sep 4, 2023

Commits on Sep 27, 2023

Merge branch 'master' into renamings_and_substitutions
MatthewDaggitt
authored