Def MultilinearMap.toLinearMap

Modification history