Skip to content

Dinaturality axiom

Dinaturality axiom #11