Theorem ContinuousMultilinearMap.isUniformInducing_toUniformOnFun

Modification history