Theorem CategoryTheory.BasedNatTrans.homCategory.ext

Modification history

2024-06-23 15:38

Mathlib/CategoryTheory/FiberedCategory/BasedCategory.lean

feat(FiberedCategory/BasedCategory): add bicategory of based categories (#13545) …

Added CategoryTheory.BasedNatTrans.homCategory.ext View on Github →