mathlib
d533e1ce - feat(ring_theory/power_series): inverse lemmas (#4552)

Commit

5 years ago

feat(ring_theory/power_series): inverse lemmas (#4552) Broken off from #4259.

References

#4925 - Make prime-avoidance branch build

Author

b-mehta

b-mehta

Parents

Loading