Skip to content
GitLab
Explore
Sign in
Cacciari Miraldo, V. (Victor)
diff-agda
Issues
#2
Remove postulates in Diff.Functor
Two "trivial" lemmas are defined using a
trustme
postulate,
here
. Prove those.