Skip to content

Rename the functor H to F

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.

Merge request reports