CellRefinementMass.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform coarse-cell occupancy converts a retained proportion of cells and a retained proportion inside each cell into original fine-point mass.