OAI/Combinatorics/HadwigerCounterexample/UnaryQueryFrequencies.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Unary Query Frequencies

  1. def OAI.HadwigerCounterexample.Template.minorCall line 15
  2. theorem OAI.HadwigerCounterexample.Template.flat_recital line 20
  3. theorem OAI.HadwigerCounterexample.scanLaw line 90