Skip to content
GitLab

Rename the functor H to F

Merged Thorsten Wißmann requested to merge h-to-f into master

F seems to be the canonical name for the functor of an F-coalgebra.