You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 21, 2023. It is now read-only.
during elaboration of categories.functor_categories.whiskering_on_left, rewrite_search considered 21 expressions, and found a chain of 5 rewrites
during elaboration of categories.functor_categories.whiskering_on_left, rewrite_search considered 3 expressions, and found a chain of 3 rewrites
during elaboration of categories.arrows.Arrows, rewrite_search considered 8 expressions, and found a chain of 4 rewrites
during elaboration of categories.equivalence.Fully_Faithful_EssentiallySurjective_Functor_is_Equivalence, rewrite_search considered 12 expressions, and found a chain of 7 rewrites
during elaboration of categories.functor_categories.whiskering_on_left, rewrite_search considered 504 expressions, and found a chain of 13 rewrites