instantiate GRinv.inv directly by Rinv, deprecating Rinvx#1488

affeldt-aist merged 3 commits intomath-comp:mastermath-comp/analysis:masterfrom

t6s:deprecate_Rinvxt6s/analysis:deprecate_RinvxCopy head branch name to clipboard