feat(category_theory/opposites): Add is_iso_op (#9319)
feat(category_theory/opposites): Add is_iso_op (#9319)




Co-authored-by: erd1 <d3ae42a844f718b8eb13de54d3646fd3fcdf4766@gmail.com>
Co-authored-by: erdOne <5a6b17dbbc661dec6b250b080ab0033de7d56af5@users.noreply.github.com>

leanprover-community/mathlib,leanprover-community/mathlib