`BookProof.RadialMollifier.radialBump_support` : Function.support radialBump = ball (0 : ℂ) 1

Initializing...

`BookProof.RadialMollifier.radialBump_support` : Function.support radialBump = ball (0 : ℂ) 1 · Prove2Me