Theorem MultilinearMap.cons_smul

Modification history