mathlib
89102286 - chore(data/polynomial): use dot notation for sub lemmas (#13799)

Commit

3 years ago

chore(data/polynomial): use dot notation for sub lemmas (#13799) To match the additive versions

Author

alexjbest

Parents