Adds theories/algebra/ZqCentered.ec providing the centered (signed) i…#995

Open

mbbarbosa wants to merge 1 commit intomainfrom

feature-zqcentered

Commits on May 7, 2026

Adds theories/algebra/ZqCentered.ec providing the centered (signed) integer representation of Z/pZ elements.
mbbarbosa
committed