Commit 2025-08-26 21:14 6e4776ae

View on Github →

chore(LinearAlgebra/FreeModule/Basic): generalise repr_algebraMap (#28873)

  • Remove unnecessary cast in repr_algebraMap
  • Make the variable R implicit

Estimated changes