OAI/Probability/SKRatio/Matrices/ConditionalAffineSquares.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKRatio.MatrixNet.weighted_square_conditioned_product_tail line 14
2. lemma OAI.SKRatio.MatrixNet.average_abs_le_square_add_one line 45
3. lemma OAI.SKRatio.MatrixNet.weighted_affine_square_error line 59
4. theorem OAI.SKRatio.MatrixNet.weighted_affine_conditioned_tail line 104