structure definition def or abbrev

`BridgeData`

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

formal statement (Lean)

  12structure BridgeData where
  13  tau0 : ℝ
  14

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

BridgeData in IndisputableMonolith.Bridge.DataCore decl_use
lambda_rec in IndisputableMonolith.Bridge.DataCore decl_use
lambda_rec_dimensionless_id in IndisputableMonolith.Bridge.DataCore decl_use
lambda_rec_dimensionless_id_physical in IndisputableMonolith.Bridge.DataCore decl_use
lambda_rec_pos in IndisputableMonolith.Bridge.DataCore decl_use
Physical in IndisputableMonolith.Bridge.DataCore decl_use
w_t_display in IndisputableMonolith.Gravity.ILG decl_use
ILG_w_t_display in IndisputableMonolith.TruthCore.ILGDisplay decl_use

Lean names referenced from this declaration's body.