Theorem MultilinearMap.curryFinFinset_apply_const_aux

Modification history