OAI/RingTheory/DirectFiniteness/ParameterBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.KaplanskyCounterexample.FiniteGeometry.sourceQ_very_large line 8
2. lemma OAI.KaplanskyCounterexample.FiniteGeometry.sourcePrime_ge line 11
3. lemma OAI.KaplanskyCounterexample.FiniteGeometry.sourcePrime_odd line 19
4. lemma OAI.KaplanskyCounterexample.FiniteGeometry.small_degree_square line 21
5. lemma OAI.KaplanskyCounterexample.FiniteGeometry.small_degree_frame_size line 30
6. lemma OAI.KaplanskyCounterexample.FiniteGeometry.sourceD_square_le line 42
7. lemma OAI.KaplanskyCounterexample.FiniteGeometry.source_frame_size line 45