Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-01 08:55 35882ddc

View on Github →

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

Estimated changes

modified theorem star_alg_hom.coe_coe