Mathlib Changelog
v4
Changelog
About
Github
Theorem
AlgEquiv.toLinearMap_ofAlgHom
Modification history
2023-09-08 14:39
Mathlib/Algebra/Algebra/Equiv.lean
refactor(LinearAlgebra/CliffordAlgebra/Conjugation): expose implementation details of 'reverse' (#6783) …
Added
AlgEquiv.toLinearMap_ofAlgHom
View on Github →