Michael Nsikan John (2026). Certified Conjugacy Learning in Small-Cancellation Groups. KnowledgeTrend Preprints. https://doi.org/10.5281/zenodo.22994938