Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-15 07:05 40cfdecd

View on Github →

chore(algebra/algebra/basic): alg_equiv.map_smul (#10805)

Estimated changes

added theorem alg_equiv.map_smul