theorem proved term proof

`birch_tate_implies_bsd`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 137theorem birch_tate_implies_bsd (h : birch_tate_from_ledger) : bsd_from_ledger :=

Term-mode proof.

 138  h
 139
 140/-! ## Resolution Certificate -/
 141
 142/-- Resolution structure for Birch-Tate Conjecture -/

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
bsd_from_ledger in IndisputableMonolith.Mathematics.BirchSwinnertonDyerStructure decl_use
birch_tate_from_ledger in IndisputableMonolith.Mathematics.BirchTateStructure decl_use
Resolution in IndisputableMonolith.Mathematics.BirchTateStructure decl_use
Resolution in IndisputableMonolith.Physics.QuarkCoordinateReconciliation decl_use
Resolution in IndisputableMonolith.Quantum.Firewall decl_use