extract a last few lemmas from the sampling branch#1678

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

affeldt-aist:functions_20250707affeldt-aist/analysis:functions_20250707Copy head branch name to clipboard