Introspective numbers and polynomials are closed under multiplication (Lemmas 4.5 and 4.6)

Initializing...

Introspective numbers and polynomials are closed under multiplication (Lemmas 4.5 and 4.6) · Prove2Me