Theorem PowerSeries.HasEval.mul_right

Modification history

2025-04-03 08:58

Mathlib/RingTheory/PowerSeries/Evaluation.lean

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

Added PowerSeries.HasEval.mul_right View on Github →