Structuring Definitions in Mathematical Libraries. - Alena Gusakov; Peter Nelson; Stephen Watt (CoRR, 2025)