Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Usage and examples
2.
Universe handling
3.
kernel_hom tactic
4.
hom_kernel tactic
5.
Categorical tactics for kernels
6.
Monoidal composition
Source Code
Report Issues