Loading Universal arrows equivalent to Adjoint functor? Prove it!
Beta
Loading Universal arrows equivalent to Adjoint functor? Prove it!
Beta
Universal arrows equivalent to Adjoint functor? Prove it!
-
Language
- Agda (Beta)
-
Language Version
