Skip to content
Snippets Groups Projects
Commit 03d863f5 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG.

parent 5c566844
1 merge request!245Add more lemmas for FinMaps (for union, filter, difference)
Pipeline #51350 passed
Stage: build