Commit 2025-04-12 23:25 6d096cc4
View on Github →fix(Algebra/Group/End): add toMul in AddAut.conj_apply (#23978)
Correct the definition of AddAut.conj_apply
by inserting the adequate .toMul
.
fix(Algebra/Group/End): add toMul in AddAut.conj_apply (#23978)
Correct the definition of AddAut.conj_apply
by inserting the adequate .toMul
.