Theorem PowerSeries.mem_hasEvalIdeal_iff

Modification history

2025-04-03 08:58

Mathlib/RingTheory/PowerSeries/Evaluation.lean

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

Added PowerSeries.mem_hasEvalIdeal_iff View on Github →