Theorem CategoryTheory.BasedNatIso.isIso_of_toNatTrans_isIso

Modification history

2024-06-23 15:38
Mathlib/CategoryTheory/FiberedCategory/BasedCategory.lean
feat(FiberedCategory/BasedCategory): add bicategory of based categories (#13545) …
Added CategoryTheory.BasedNatIso.isIso_of_toNatTrans_isIsoView on Github →