def definition def or abbrev

`pairwiseLatency`

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

formal statement (Lean)

  82def pairwiseLatency (d : ℝ) : ℝ := latency_per_pair

Definition body.

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

mesh_one_statement in IndisputableMonolith.Engineering.ZMatchedTransceiverMesh decl_use
pairwiseLatency_constant in IndisputableMonolith.Engineering.ZMatchedTransceiverMesh decl_use
pairwiseLatency_pos in IndisputableMonolith.Engineering.ZMatchedTransceiverMesh decl_use
ZMatchedTransceiverMeshCert in IndisputableMonolith.Engineering.ZMatchedTransceiverMesh decl_use

Lean names referenced from this declaration's body.

latency_per_pair in IndisputableMonolith.Engineering.ZMatchedTransceiverMesh decl_use