OAI/Combinatorics/HadwigerCounterexample/RecursiveComparisonErrors.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Recursive Comparison Errors

  1. theorem OAI.HadwigerCounterexample.Template.board_add line 15
  2. theorem OAI.HadwigerCounterexample.Template.shadow_add line 19
  3. theorem OAI.HadwigerCounterexample.Template.scene_join line 25
  4. def OAI.HadwigerCounterexample.Template.drained line 42
  5. def OAI.HadwigerCounterexample.Template.engaged line 47
  6. theorem OAI.HadwigerCounterexample.Template.gild_play line 55