P
Initializing...
Uniform decomposition of a test function into rescaled test functions $S^\delta_{s,x}\eta$ · Prove2Me