special case for principal specialization of order 1#40243
Merged
vbraun merged 3 commits intosagemath:developfrom Jul 6, 2025
Merged
special case for principal specialization of order 1#40243vbraun merged 3 commits intosagemath:developfrom
vbraun merged 3 commits intosagemath:developfrom