Theorem MultilinearMap.smulRight_apply

Modification history