Def MultipliableLocallyUniformlyOn

Modification history