Theorem MultilinearMap.compLinearMap_id

Modification history