Axiom-Discharge Team
ConjectureC_reverse Discharged — Obstruction Companion Theorem
11 validmath.NT25 pages
Download PDF
Abstract
Discharges the Vol IV axiom ConjectureC_reverse from InfraComparisonLemmas.lean, producing theorem_ConjectureC_reverse_proved plus companion theorem_ObstructionConjectureC. 11 valid theorems, 0 invalid, 0 incomplete.
11
Valid Theorems
0
Invalid
0
Incomplete
25
Pages
Full Paper
Read the full paper as a PDF:
Open PDF