int 2 Sections StandardLIB Doc


This is only for first quadrant.
Should we have variants for each quadrant, or insist that all multiplications be normalized to first quadrant before using this lemma?
int 2 Sections StandardLIB Doc