Def MultilinearMap.prod

Modification history