OAI/NumberTheory/SiegelZeros/LocalAlgebra/ParameterKilledFiniteLength.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.W06.isArtinianRing_quotient_parameter line 14
2. theorem OAI.SiegelZeros.WeightedTorusJets.W06.isFiniteLength_of_parameter_killed line 24
3. theorem OAI.SiegelZeros.WeightedTorusJets.W06.length_ne_top_of_parameter_killed line 41
4. theorem OAI.SiegelZeros.WeightedTorusJets.W06.parameter_kills_mul_kernel line 48
5. theorem OAI.SiegelZeros.WeightedTorusJets.W06.parameter_kills_mul_cokernel line 57
6. theorem OAI.SiegelZeros.WeightedTorusJets.W06.isFiniteLength_ker_parameter_mul line 64
7. theorem OAI.SiegelZeros.WeightedTorusJets.W06.isFiniteLength_coker_parameter_mul line 71
8. theorem OAI.SiegelZeros.WeightedTorusJets.W06.kernel_cokernel_parameter_lengths_ne_top line 76