OAI/Combinatorics/HadwigerCounterexample/BasisConditioning.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Basis Conditioning

  1. theorem OAI.HadwigerCounterexample.totalRank_pos line 13
  2. def OAI.HadwigerCounterexample.glintRate line 22
  3. theorem OAI.HadwigerCounterexample.glint_within line 24
  4. def OAI.HadwigerCounterexample.Template.stains line 34
  5. theorem OAI.HadwigerCounterexample.Template.staining line 36
  6. def OAI.HadwigerCounterexample.Template.luminous line 48
  7. theorem OAI.HadwigerCounterexample.Template.glow_luminous line 56