Theorem Polynomial.Subring.mem_closure_image_of

Modification history