Theorem CategoryTheory.BasedFunctor.comp_id

Modification history

2025-12-16 19:53

Mathlib/CategoryTheory/FiberedCategory/BasedCategory.lean

chore(CategoryTheory): fix whitespace (#32928)

Modified CategoryTheory.BasedFunctor.comp_id View on Github →

2024-06-23 15:38

Mathlib/CategoryTheory/FiberedCategory/BasedCategory.lean

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

Added CategoryTheory.BasedFunctor.comp_id View on Github →