WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — System of linear equations

Revision #1614 → #2654 · back to history

modifiedRow reduction (Gaussian elimination)4073aac4af78
FieldFrom #1614To #2654
mathlib.declMatrix.exists_list_transvec_mul_diagonal_mul_list_transvecMatrix.Pivot.exists_list_transvec_mul_diagonal_mul_list_transvec
provenanceaiai-moderated