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.

Estimated changes