OAI/Combinatorics/ThinTrees/Signing/FormSigning.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Form signing.

  1. def OAI.AlgorithmicThinTrees.FormSigning.whiten line 16
  2. lemma OAI.AlgorithmicThinTrees.FormSigning.whiten_cast line 19
  3. lemma OAI.AlgorithmicThinTrees.FormSigning.whiten_covariance line 24
  4. lemma OAI.AlgorithmicThinTrees.FormSigning.whiten_norm line 31
  5. def OAI.AlgorithmicThinTrees.FormSigning.selected line 37
  6. theorem OAI.AlgorithmicThinTrees.FormSigning.simultaneous line 41
  7. lemma OAI.AlgorithmicThinTrees.FormSigning.gram_restrict line 65