abbrev definition def or abbrev

`Act`

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

formal statement (Lean)

 203abbrev Act := Quantity ActUnit

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

narrativeTension_nonneg in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
measure_to_joule_seconds in IndisputableMonolith.Measurement.RSNative.Calibration.SI decl_use
to_joule_seconds in IndisputableMonolith.Measurement.RSNative.Calibration.SI decl_use
one_act_reports_hbar in IndisputableMonolith.Measurement.RSNative.Calibration.SingleAnchor decl_use
Quasi2DToComparisonSolutionHypothesis in IndisputableMonolith.NavierStokes.RM2U.NonParasitism decl_use
Quasi2DToExactSymmetryHypothesis in IndisputableMonolith.NavierStokes.RM2U.NonParasitism decl_use
SymmetryClassImpossibleHypothesis in IndisputableMonolith.NavierStokes.RM2U.NonParasitism decl_use
outsideVantage in IndisputableMonolith.RRF.Foundation.VantageCategory decl_use

Lean names referenced from this declaration's body.