Theorem MultilinearMap.map_smul_univ

Modification history