structure definition def or abbrev

`Completion`

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

formal statement (Lean)

  11structure Completion where
  12  nY : ℤ
  13  n3 : ℤ
  14  n2 : ℤ
  15

From the project-wide theorem graph. These declarations reference this one in their body.

bourbaki_complete in IndisputableMonolith.Foundation.RealsFromLogic decl_use
CauchySeqLogicRat in IndisputableMonolith.Foundation.RealsFromLogic decl_use
ofRatCore in IndisputableMonolith.Foundation.RealsFromLogic decl_use
WordLength in IndisputableMonolith.Masses.KernelTypes decl_use
riemann_hypothesis_from_rcl_logicPrime in IndisputableMonolith.NumberTheory.LogicRH_From_RCL decl_use