New Part BASIC LINEAR ALGEBRA - Part 6: Determinants (3)
New Part BASIC LINEAR ALGEBRA - Part 6: Determinants (3)

Part 6 of the restructuring as discussed in #769. The remaining theorems of section "The determinant (extension)" about 2x2-matrices is moved from AV's Mathbox into the new part BASIC LINEAR ALGEBRA, into the new section "The determinant of 2x2-matrices"

metamath/set.mm,metamath/set.mm,metamath/set.mm