Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_equiv.refl_symm

Modification history

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