mathlib
35882ddc - fix(algebra/star/star_alg_hom): fix typo in `star_alg_hom.coe_coe` (#18519)

Commit

3 years ago

fix(algebra/star/star_alg_hom): fix typo in `star_alg_hom.coe_coe` (#18519)

Author

j-loreaux

j-loreaux

Parents

Loading