P
Initializing...
`PhysMeasureBasis.null_singleton_volume` (y : ℝ) : volume ({y} : Set ℝ) = 0 · Prove2Me