OAI/Combinatorics/SumProduct/Alignment/IntegerArrays08.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SourceIntegerArrays.source_intrinsic_decay line 35
2. def OAI.SourceIntegerArrays.sourceCell line 142
3. def OAI.SourceIntegerArrays.fullCell line 145
4. def OAI.SourceIntegerArrays.cellRatio line 150
5. lemma OAI.SourceIntegerArrays.scalar_to_harmonic line 155
6. theorem OAI.SourceIntegerArrays.source_harmonic_decay line 185