basic): rescale_inj (#6446)

Commit

5 years ago

feat(ring_theory/power_series/basic): rescale_inj (#6446) Authored-by Ashvni Narayanan Co-authored-by: Moritz Firsching <firsching@google.com>

Author

mo271

Parents