Theorem PowerSeries.HasEval.map

Modification history

2025-04-03 08:58

Mathlib/RingTheory/PowerSeries/Evaluation.lean

chore(RingTheory/PowerSeries/Evaluation): adjust docstrings and names (#23607) …

Added PowerSeries.HasEval.map View on Github →