Commit 39d4936
committed
Remove the copies with the single GCD implementations as separate files
1 parent 77847c7 commit 39d4936
File tree
3 files changed
+0
-411
lines changed- Cubical/Data/Nat
- Efficient
- InductiveGCD
3 files changed
+0
-411
lines changedThis file was deleted.
This file was deleted.
0 commit comments