TY  - RPRT
TI  - Derivatives for Containers in Univalent Foundations
AU  - Philipp Joram
AU  - Niccolò Veltri
PY  - 2025
UR  - https://arxiv.org/abs/2512.17484
ID  - 2512.17484
ER  -