|-| | Noether.Lemmata.TypeFu.DList |
|<| | Noether.Lemmata.TypeFu.DList |
|>| | Noether.Lemmata.TypeFu.DList |
|| | |
1 (Type/Class) | Noether.Lemmata.TypeFu |
2 (Function) | Lemmata |
3 (Function) | Noether.Algebra.Single.API, Noether.Algebra.Single |
||^ | Lemmata.Bool, Lemmata |