OAI/Algebra/FiniteTensor/PreparedCoefficients.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Lower and regular coefficients in prepared polynomial systems.

  1. theorem OAI.PD4Tensor.Spreading.lower_coefficient_prepared line 20
  2. theorem OAI.PD4Tensor.Spreading.regular_coefficient_prepared line 110