Theorem MultilinearMap.curryFinFinset_symm_apply

Modification history