Skip to content
GitLab

Add changelog entry and make small tweaks

2 jobs for !284 with extra-lemmas in 5 minutes and 13 seconds (queued for 7 seconds)
latest merge request
e22e4a76
1 related merge request: !284 Add a few set and map related lemmas