Commit 2025-05-22 09:16 5f4677af

View on Github →

chore: rename IsCyclotomicExtension.exists_prim_root (#25102)

Estimated changes