Skip to content
GitLab
Explore
Sign in
stdpp
CHANGELOG.md
Find file
Blame
History
Permalink
Generalize `map_relation` and `map_included` / Add `map_Forall2`.
· c216e713
Robbert Krebbers
authored
Sep 03, 2024
and
Ralf Jung
committed
Sep 03, 2024
c216e713
