Theorem MultilinearMap.linearDeriv_apply

Modification history