Small start on generating functions - SemanticDiff

Commit

6 years ago

Small start on generating functions

References

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

Author

jcommelin

jcommelin

Parents

Loading