OAI/Combinatorics/HadwigerCounterexample/SurrogateAggregation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Surrogate Aggregation

  1. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.showcase line 21
  2. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.bower_case line 23
  3. def OAI.HadwigerCounterexample.StatusAnalysis.Quill.displayMass line 31
  4. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.display_mean line 33
  5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Quill.display_test line 42
  6. def OAI.HadwigerCounterexample.StatusAnalysis.Typus.chimera line 89

    Source documentation

    Per-position beta status overlap at fixed orientation pair.

    def chimera (i:Messenger q) :=
…

    Mentions: OAI.HadwigerCounterexample.StatusAnalysis.Messenger

  7. def OAI.HadwigerCounterexample.StatusAnalysis.Typus.momus line 93
  8. def OAI.HadwigerCounterexample.StatusAnalysis.Typus.constellation line 94
  9. theorem OAI.HadwigerCounterexample.StatusAnalysis.Typus.shine_match line 97