mathlib
edd29d0f - chore(ring_theory/power_series): weaken assumptions for nontrivial (#3301)

Commit

5 years ago

chore(ring_theory/power_series): weaken assumptions for nontrivial (#3301)

Author

sgouezel

sgouezel

Parents

Loading