Add [_]-resp-inverse#500

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

Taneb:F-resp-inverseTaneb/agda-categories:F-resp-inverseCopy head branch name to clipboard