Theorem PowerSeries.HasEval.mono

Modification history

2025-04-03 08:58

Mathlib/RingTheory/PowerSeries/Evaluation.lean

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

Added PowerSeries.HasEval.mono View on Github →