Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Jason Hu
AlgDotCalculus
Repository
AlgDotCalculus
agda
DintAlg.agda
Find file
Blame
History
Permalink
add more theorems and proved bijectivity
· 0a9628a7
Jason Hu
authored
Mar 31, 2019
0a9628a7