OAI/MeasureTheory/Falconer/Radial/ClasswiseRadialGain.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Recombining radial gains with the original source-class weights
- theorem
OAI.Falconer.classwise_radial_gainline 13