structure definition def or abbrev

`Dataset`

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

formal statement (Lean)

 160structure Dataset where
 161  leptons : List SpeciesEntry
 162  quarks  : List SpeciesEntry
 163  bosons  : List SpeciesEntry
 164  baryons : List SpeciesEntry
 165  deriving Repr
 166

used by (6)

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

empiricalStatus in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
empiricalStatus_count in IndisputableMonolith.Foundation.OptionAFalsifierRegistry decl_use
acceptable_all in IndisputableMonolith.PDG.Fits decl_use
acceptable_all_mono in IndisputableMonolith.PDG.Fits decl_use
defaultDataset in IndisputableMonolith.PDG.Fits decl_use
loadDatasetFromJson in IndisputableMonolith.PDG.Fits decl_use

depends on (1)

Lean names referenced from this declaration's body.

SpeciesEntry in IndisputableMonolith.PDG.Fits decl_use