Beta

Universal arrows equivalent to Adjoint functor? Prove it!

Description
Loading description...
Fundamentals
Theorem Proving
View
AllIssuesQuestionsSuggestionsShow Resolved
Ad
Ad