Merge branch 'lean-3.4.2' into gen-fun - SemanticDiff

Commit

6 years ago

Merge branch 'lean-3.4.2' into gen-fun

References

#1945 - feat(ring_theory/power_series): several simp lemmas

Author

jcommelin

jcommelin

Parents

Loading