feat(undergrad.yaml): missing items (#4290)

leanprover-community · Sep 27, 2020 · c322471 · c322471
1 parent 2516d7d
commit c322471
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/undergrad.yaml b/docs/undergrad.yaml
@@ -34,7 +34,7 @@ Linear algebra:
     isomorphism with bidual: 'vector_space.eval_equiv'
   Multilinearity:
     multilinear map: 'multilinear_map'
-    determinant of vectors: ''
+    determinant of vectors: 'is_basis.det'
     determinant of endomorphisms: ''
     special linear group: ''
     orientation of a $\R$-valued vector space: ''
@@ -165,7 +165,7 @@ Ring Theory:
     relationship between the coefficients and the roots of a split polynomial:
     Newton's identities:
     polynomial derivative: 'polynomial.derivative'
-    decomposition into sums of homogeneous polynomials:
+    decomposition into sums of homogeneous polynomials: 'mv_polynomial.sum_homogeneous_component'
     symmetric polynomials:
   Field Theory:
     fields: 'field'