Cross-Reference Redirection

Table of Contents

1.	Usage and examples
2.	Calculational proofs
3.	Universe handling
4.	kernel_hom tactic
5.	hom_kernel tactic
6.	Categorical tactics for kernels
7.	Kernel reassociation
8.	Monoidal composition
9.	Implementation of the translation