Remove duplicated lemmas and dependency to Rstruct#1347

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

proux01:rm_duplicationproux01/analysis:rm_duplicationCopy head branch name to clipboard