lib:Fin
Modules
Dependencies
- alg lib:alg >=0.2.5 && <0.3
- base lib:base >=4.7 && <5
- foldable1 lib:foldable1 >=0.1 && <0.2
- natural-induction lib:natural-induction >=0.2 && <0.3
- peano lib:peano >=0
- universe-base lib:universe-base >=1.0 && <1.2
Reverse dependencies
Direct only. Not exhaustive.
- permutations lib:permutations
- permutations test:test
- rv lib:rv
- word lib:word