Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Universe handling
2.
KernelHom tactic
3.
HomKernel tactic
4.
Categorical tactics for kernels
5.
Monoidal composition
Source Code
Report Issues