Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mul_equiv.symm_apply_apply

Modification history

2022-03-31 10:35
src/algebra/hom/equiv.lean
lint(algebra/*): fix some lint errors (#13058) …
Modified mul_equiv.symm_apply_applyView on Github →
2020-03-14 17:09
src/data/equiv/algebra.lean
refactor(data/equiv/algebra): split (#2147) …
Modified mul_equiv.symm_apply_applyView on Github →
2019-09-22 04:34
src/data/equiv/algebra.lean
chore(*): fix various issues reported by `sanity_check_mathlib` (#1469) …
Added mul_equiv.symm_apply_applyView on Github →