OAI/Probability/Subsphere/Models.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SubsphereCurrent.KernelLearner.BorelRules line 16

   Source documentation

   Borel probabilities, including counterfactual states.

   def BorelRules {d M T : ℕ} (L : KernelLearner d M T) : Prop :=
   …

   Mentions: OAI.SubsphereCurrent.KernelLearner

2. def OAI.SubsphereCurrent.Weighted.RadiusWeightedEstimate line 45