mathlib
d2eac817 - `coe_ring_hom` instance for `power_series` (+ protected)

Commit

3 years ago

`coe_ring_hom` instance for `power_series` (+ protected)

Author

Vierkantor

Vierkantor

Committer

Vierkantor

Vierkantor

Parents

Loading