Skip to content

GitLab

Merged
Created by Simon Friis Vindum@simonfvContributor

Update changelog for filter extensionality lemmas

I think this MR makes the changes a bit more clear and it adds the rename to the sed script.