Commit 2024-06-06 07:00 60442b0e
View on Github →chore(RingTheory/PowerSeries/WellKnown): simplify proof (#13552) Another backport from change for nightly-2024-05-06. (The original proof breaks, and this one is better.)
chore(RingTheory/PowerSeries/WellKnown): simplify proof (#13552) Another backport from change for nightly-2024-05-06. (The original proof breaks, and this one is better.)