contravariant-0.6.1.1: Contravariant functors and Day convolution
Contravariant functors and Day convolution
Modules