Theorem PowerSeries.HasEval.add

Modification history

2025-04-03 08:58

Mathlib/RingTheory/PowerSeries/Evaluation.lean

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

Added PowerSeries.HasEval.add View on Github →