This repository has been archived by the owner on Sep 21, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 9
/
interesting-rewrites
24 lines (24 loc) · 2.78 KB
/
interesting-rewrites
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
rewrite_search (saw/visited/used) 16/4/4 expressions during proof of category_theory.adjunctions.Adjunction_to_HomAdjunction_morphism
rewrite_search (saw/visited/used) 26/11/6 expressions during proof of category_theory.uncurry
rewrite_search (saw/visited/used) 10/5/5 expressions during proof of category_theory.adjunctions.Adjunction_to_HomAdjunction
rewrite_search (saw/visited/used) 15/6/5 expressions during proof of category_theory.uncurry
rewrite_search (saw/visited/used) 11/7/6 expressions during proof of category_theory.adjunctions.Adjunction_to_HomAdjunction
rewrite_search (saw/visited/used) 5/5/5 expressions during proof of category_theory.universal.functorial_Colimit
rewrite_search (saw/visited/used) 10/7/5 expressions during proof of category_theory.comma.CommaCategory
rewrite_search (saw/visited/used) 16/3/2 expressions during proof of category_theory.IdempotentCompletion.extend_Functor_to_completion
rewrite_search (saw/visited/used) 10/3/3 expressions during proof of category_theory.adjunctions.unit_from_HomAdjunction
rewrite_search (saw/visited/used) 172/53/20 expressions during proof of category_theory.equivalence.Equivalences_are_Full
rewrite_search (saw/visited/used) 7/4/4 expressions during proof of category_theory.universal.lemmas.cones_in_functor_categories.cone_commutativity_in_FunctorCategory_assoc
rewrite_search (saw/visited/used) 11/5/5 expressions during proof of category_theory.universal.lemmas.cones_in_functor_categories.cone_in_functor_category
rewrite_search (saw/visited/used) 4/4/4 expressions during proof of category_theory.universal.Limits_from_Products_and_Equalizers
rewrite_search (saw/visited/used) 4/4/4 expressions during proof of category_theory.universal.Limits_from_Products_and_Equalizers
rewrite_search (saw/visited/used) 16/9/7 expressions during proof of category_theory.currying
rewrite_search (saw/visited/used) 12/7/5 expressions during proof of category_theory.currying
rewrite_search (saw/visited/used) 18/9/7 expressions during proof of category_theory.equivalence.Fully_Faithful_EssentiallySurjective_Functor_is_Equivalence
rewrite_search (saw/visited/used) 6/4/4 expressions during proof of category_theory.yoneda.yoneda_lemma
rewrite_search (saw/visited/used) 9/6/6 expressions during proof of category_theory.equivalence.Fully_Faithful_EssentiallySurjective_Functor_is_Equivalence
rewrite_search (saw/visited/used) 15/8/6 expressions during proof of category_theory.currying
rewrite_search (saw/visited/used) 16/9/7 expressions during proof of category_theory.currying
rewrite_search (saw/visited/used) 17/7/7 expressions during proof of category_theory.yoneda.yoneda_lemma
rewrite_search (saw/visited/used) 15/13/8 expressions during proof of category_theory.currying
rewrite_search (saw/visited/used) 15/13/8 expressions during proof of category_theory.currying