mathlib
d8201040 - Merge branch 'formal_power_series' of github.com:leanprover-community/mathlib into formal_power_series

Commit

3 years ago

Merge branch 'formal_power_series' of github.com:leanprover-community/mathlib into formal_power_series pulling Catalan stuff!

Author

Philip Wood

Parents