:$$: | Noether.Lemmata.TypeFu |
:% | Lemmata.Base, Lemmata |
:*: | |
1 (Type/Class) | Lemmata |
2 (Data Constructor) | Lemmata |
:+ | Noether.Lemmata.Prelude, Lemmata |
:+: | Lemmata |
:.: | Lemmata |
:<>: | Noether.Lemmata.TypeFu |
:= | Noether.Lemmata.TypeFu.Map, Noether.Algebra.Inference |
:| | Lemmata |
:~: | Noether.Lemmata.TypeFu, Lemmata |