OAI/Algebra/FormulaHitting/Hitting.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.NCHitting.AcyclicRepresentation.scalarOutput_eq_contract line 17
2. theorem OAI.NCHitting.Formula.series_order_lt line 27
3. theorem OAI.NCHitting.Formula.eval_generator_one_ne_zero line 48
4. theorem OAI.NCHitting.Formula.eval_generator_ne_zero line 65
5. theorem OAI.NCHitting.universal_hitting line 86

   Distinct definitions of this name: ComparatorChallenges/FormulaHitting.lean:57 (different declaration text). Qualify references as OAI.NCHitting.universal_hitting@path.