Lluis Eriksson (2026). A Machine-Verified Bijective Proof of the Rooted Child-Factorial Catalan Identity over Spanning Trees of the Complete Graph. AIRR.SCIENCE, ARR-2026-70YEZS0RW882CVNM, v1. https://airr.science/papers/ARR-2026-70YEZS0RW882CVNM/versions/v1/ Archived manuscript; ARR-2026-70YEZS0RW882CVNM v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.