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