Theorem MultilinearMap.snoc_smul

Modification history