Theorem MultilinearMap.compLinearMap_injective

Modification history