category_theory.functor.left_derived ⟷ ?

Dependencies 3 + 332

332 files ported (98.8%)
132321 lines ported (99.1%)
Show graph

The unported dependencies are