`Cost`

definition

show as: view math explainer →

module: IndisputableMonolith.Measurement.RSNative.Core
domain: Measurement
line: 204 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Measurement.RSNative.Core on GitHub at line 204.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

 201abbrev Voxel := Quantity VoxelUnit
 202abbrev Coh := Quantity CohUnit
 203abbrev Act := Quantity ActUnit
 204abbrev Cost := Quantity CostUnit
 205abbrev Skew := Quantity SkewUnit
 206abbrev Meaning := Quantity MeaningUnit
 207abbrev Qualia := Quantity QualiaUnit
 208abbrev ZCharge := Quantity ZUnit
 209
 210end RSNative
 211end Measurement
 212end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.