mathlib3
0bb665cc - chore(ring_theory/power_series): review, golf (#5431)
Commit
View On GitHub
Commit
5 years ago
chore(ring_theory/power_series): review, golf (#5431)
Author
urkud urkud
Parents
53354e7d
FAQ Terms Privacy Refunds Impressum
Loading