Def MultilinearMap.mkContinuous

Modification history