generic lemmas from kernels PR#821

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

affeldt-aist:kernels_preambleaffeldt-aist/analysis:kernels_preambleCopy head branch name to clipboard