Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
Unfolding lemma for Acc.
· 9d1092a0
Robbert Krebbers
authored
Sep 24, 2017
9d1092a0