Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
base.v: fix typo in comment about MonadSet, and extend
· 17414dc7
Paolo G. Giarrusso
authored
Oct 26, 2021
and
Robbert Krebbers
committed
Oct 26, 2021
17414dc7