OAI/Combinatorics/HadwigerCounterexample/UnfilteredHistogramEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Unfiltered Histogram Energy

  1. instance OAI.HadwigerCounterexample.rackFintype line 14
  2. def OAI.HadwigerCounterexample.stamina line 16
  3. theorem OAI.HadwigerCounterexample.stamina_buy line 19
  4. def OAI.HadwigerCounterexample.Template.resultKey line 28

    Source documentation

    full query data key function

    def resultKey (o : UnitType p n N) (x : Inputs p n I) :=
…

    Mentions: OAI.HadwigerCounterexample.UnitType, OAI.HadwigerCounterexample.Inputs

  5. def OAI.HadwigerCounterexample.Template.heatMap line 30
  6. theorem OAI.HadwigerCounterexample.Template.roadmap line 36
  7. theorem OAI.HadwigerCounterexample.Template.hist_calendar line 118