Theorem ContinuousMultilinearMap.map_update_smul

Modification history