Fix type of exported natural isomorphisms#447

JacquesCarette merged 1 commit intoagda:masteragda/agda-categories:masterfrom

jacquescomeaux:op-cartesian-nat-iso-fixjacquescomeaux/agda-categories:op-cartesian-nat-iso-fixCopy head branch name to clipboard