abbrev definition def or abbrev

`Axis`

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

formal statement (Lean)

  34abbrev Axis := Fin 3

Definition body.

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

PosturalAxis in IndisputableMonolith.Applied.PosturalAlignment decl_use
winding_gives_three_charges in IndisputableMonolith.Foundation.WindingCharges decl_use
advection in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
backwardDiff in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
divergence in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
forwardDiff in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
LatticeTopology in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
scalarLaplacian in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
VectorField in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
vectorLaplacian in IndisputableMonolith.NavierStokes.DiscreteNSOperator decl_use
edge_over_cube_vertices_eq_face_over_face_vertices in IndisputableMonolith.Physics.LeptonGenerations.TauStepDeltaDerivation decl_use
F_quarter_not_alternative in IndisputableMonolith.Physics.LeptonGenerations.TauStepExclusivity decl_use
sigma_zero_optimal in IndisputableMonolith.Superhuman.SafetyInterlock decl_use