Theorem Polynomial.toContinuousMapOn_X_eq_restrict_id

Modification history