Commit 2023-11-18 16:07 cfed43f7

View on Github →

feat: abel_nf fails if it makes no progress (#8487) As requested on zulip.

Estimated changes