Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
relations.v: Drop stale require
· 0190372d
Paolo G. Giarrusso
authored
Oct 26, 2021
0190372d