OAI/AlgebraicGeometry/NumericalDimension/DifferentialDivisibility.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Differential Divisibility.

  1. lemma OAI.NumericalDimensionOne.alternating_snc_divisible line 29
  2. theorem OAI.NumericalDimensionOne.topDifferentialMap_divisible_of_coordinate_equations line 90
  3. theorem OAI.NumericalDimensionOne.topDifferentialMap_divisible_of_independent_equations line 153