Commit 2025-01-31 09:06 4e87722e

View on Github →

refactor(Algebra/Algebra/Pi): cleanup and renaming (#21213) Renaming and cleanup in Algebra.Algebra.Pi following discussion.

Estimated changes

modified def AlgEquiv.piCongrRight
modified theorem AlgEquiv.piCongrRight_refl
modified theorem AlgEquiv.piCongrRight_symm
modified theorem AlgEquiv.piCongrRight_trans
modified def Pi.algHom
modified theorem Pi.algHom_comp
modified theorem Pi.algHom_evalAlgHom
modified theorem Pi.algebraMap_apply
modified theorem Pi.algebraMap_def
modified def Pi.evalAlgHom