mathlib
5a547aa9 - fix(ring_theory/power_series/basic): remove duplicate instance (#12744)

Commit

3 years ago

fix(ring_theory/power_series/basic): remove duplicate instance (#12744)

Author

kbuzzard

kbuzzard

Parents

Loading