OAI/Analysis/SymmetricDomains/PolynomialRelationDependentPartials.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Release061.transcendenceDifferentialBasis line 35
  2. theorem OAI.Release061.transcendenceDifferentialBasis_apply line 59
  3. theorem OAI.Release061.algebraicIndependent_differentials line 73
  4. theorem OAI.Release061.derivation_transcendence_coordinates line 90
  5. theorem OAI.Release061.algebraicIndependent_partialDerivatives line 109
  6. theorem OAI.Release061.polynomial_relation_of_dependent_partials line 127