structure definition def or abbrev

`Manifold`

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

formal statement (Lean)

  33structure Manifold where
  34  dim : ℕ
  35  deriving Repr
  36
  37/-- A point on the manifold (coordinates). -/

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

SimplicialLedger in IndisputableMonolith.Foundation.SimplicialLedger decl_use
constructive_at_zero in IndisputableMonolith.Modal.ModalGeometry decl_use
monotone_separation_of_refinement in IndisputableMonolith.RecogGeom.EffectiveManifold decl_use
Covector in IndisputableMonolith.Relativity.Geometry.Manifold decl_use
partialDeriv in IndisputableMonolith.Relativity.Geometry.Manifold decl_use
Point in IndisputableMonolith.Relativity.Geometry.Manifold decl_use
Spacetime in IndisputableMonolith.Relativity.Geometry.Manifold decl_use
TangentVector in IndisputableMonolith.Relativity.Geometry.Manifold decl_use

Lean names referenced from this declaration's body.

A in IndisputableMonolith.Foundation.IntegrationGap decl_use
A in IndisputableMonolith.Masses.Anchor decl_use
A in IndisputableMonolith.Modal.Actualization decl_use
point in IndisputableMonolith.Numerics.Interval.Basic decl_use
dim in IndisputableMonolith.Physics.LeptonGenerations.TauStepDerivation decl_use