category_theory.functor.inv_isos ⟷ ?

Dependencies 12

12 files ported (92.3%)
3269 lines ported (98.5%)
Show graph

The unported dependencies are