Commit 2024-11-30 00:03 f33352ab

View on Github →

feat(LinearAlgebra/Matrix/Permanent): smul (#19307) adding

  • permanent_smul
  • permanent_updateRow_smul
  • permanent_updateColumn_smul

Estimated changes

added theorem Matrix.permanent_smul