Library HoTT.Categories.PseudonaturalTransformation

Pseudonatural Transformations

Definition of pseudonatural transformations

Require PseudonaturalTransformation.Core.

Include PseudonaturalTransformation.Core.