Searched defs:lambda_transform_legal_p (Results 1 – 2 of 2) sorted by relevance
1056 lambda_transform_legal_p (lambda_trans_matrix trans, in lambda_transform_legal_p() function