Commit 2024-05-21 09:04 a0bf3f6f
View on Github →chore(Algebra/Lie/*): rename toEndomorphism to toEnd (#13077)
This commit was generated using
rg -l toEndomorphism | xargs sed -i 's/toEndomorphism/toEnd/g'
The upshot is shorter names of the defn and of many lemmas.
It also matches the name End of the target of the map.