Theorem Polynomial.toContinuousMap_X_eq_id

Modification history