Skip to content

Update changelog for filter extensionality lemmas

Simon Friis Vindum requested to merge simonfv/stdpp:changelog-addition into master

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

Merge request reports