OAI/Analysis/TracialSplitting/PreparedBlocks.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentMain.BistochasticTest.ofFamily line 20
2. lemma OAI.CurrentMain.BistochasticTest.ofFamily_average line 27
3. lemma OAI.CurrentMain.BistochasticTest.average_le_one line 36
4. theorem OAI.CurrentMain.nuclear_prepared_row_blocks line 50