Skip to content
GitLab

Rename the functor H to F

Merged Hans-Peter Deifel requested to merge h-to-f into master

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