Theorem spectrum.map_polynomial_aeval

Modification history