OAI/NumberTheory/PiExponent/LocalAlgebra/AffineLocalRegularBezout.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentJets.W22.span_range_list_get line 16
2. theorem OAI.PiExponentJets.W22.span_range_map_list_get line 22
3. theorem OAI.PiExponentJets.W22.finiteLength_localized_minimal_quotient line 36
4. theorem OAI.PiExponentJets.W22.affine_local_regular_list_bezout line 56