Update to `Int.Fast`#1276

Draft

LorenzoMolena wants to merge 2 commits intoagda:masterfrom

LorenzoMolena:fast-int-update

Commits on Nov 19, 2025

Fast int properties with pl and ocr instances (#23)

authored

Commits on Nov 22, 2025

edit `zero-≤pos`, using an easier proof, add `zero-<possuc`
LorenzoMolena
committed