Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-28 13:52 1c92dfdf

View on Github →

chore(*/equiv): missing refl_symm lemmas (#13761)

Estimated changes

Modified src/algebra/algebra/basic.lean

added theorem alg_equiv.refl_symm

Modified src/algebra/hom/equiv.lean

added theorem mul_equiv.refl_symm

Modified src/algebra/lie/basic.lean

added theorem lie_equiv.refl_symm