remove unused (and probably useless) lemmas inl_inj and inr_inj#1623

t6s wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

t6s:delete_inlr_injt6s/analysis:delete_inlr_injCopy head branch name to clipboard