Skip to content

Commit f6be873

Browse files
callesonnecallesonne
committed
first commit
1 parent c643f09 commit f6be873

File tree

1 file changed

+2
-0
lines changed
  • Mathlib/CategoryTheory/Bicategory/FunctorBicategory

1 file changed

+2
-0
lines changed

‎Mathlib/CategoryTheory/Bicategory/FunctorBicategory/Pseudo.lean‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,4 +81,6 @@ instance bicategory : Bicategory (Pseudofunctor B C) where
8181

8282
end StrongTrans
8383

84+
-- here
85+
8486
end CategoryTheory.Pseudofunctor

0 commit comments

Comments
 (0)