Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
treat Forall2 constructors like we treat Forall constructors
· 22015a0e
Ralf Jung
authored
Jul 29, 2021
22015a0e