Mathlib Changelog
v4
Changelog
About
Github
Def
FreeAlgebra.algebraMapInv
Modification history
2023-03-21 11:23
Mathlib/Algebra/FreeAlgebra.lean
chore: remove noncomputable in Algebra.FreeAlgebra (#3011) …
Added
FreeAlgebra.algebraMapInv
View on Github →