TY  - RPRT
TI  - Structuring Definitions in Mathematical Libraries
AU  - Alena Gusakov
AU  - Peter Nelson
AU  - Stephen Watt
PY  - 2025
UR  - https://arxiv.org/abs/2509.10828
ID  - 2509.10828
ER  -