Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mul_equiv.refl_symm

Modification history

2022-04-28 13:52
src/algebra/hom/equiv.lean
chore(*/equiv): missing refl_symm lemmas (#13761)
Added mul_equiv.refl_symmView on Github →