Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added new statement for the ascending chain condition
  2. Removed unnecessary type restrictions for elementary matrix operations
  3. Renamed least_squares_solution -> least_squares_approximation
Changeset 6547:8ceeb7e62156 by jodivaso:
Added new statement for the ascending chain condition
The file was modified thys/Echelon_Form/Rings2.thy (diff)
Changeset 6546:052eabc6e3e9 by jodivaso:
Removed unnecessary type restrictions for elementary matrix operations
The file was modified thys/Gauss_Jordan/Elementary_Operations.thy (diff)
Changeset 6545:11d763979087 by jodivaso:
Renamed least_squares_solution -> least_squares_approximation
The file was modified thys/QR_Decomposition/Least_Squares_Approximation.thy (diff)