arguments: gr:res_comp i:int >> matrix
Return the i th matrix of the (possibly non-minimal) resolution 'gr'.
Go to main index.
Go to concepts index.