fixes #979 (my_ball_le from local lemme to Let)#980

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

affeldt-aist:my_ball_leaffeldt-aist/analysis:my_ball_leCopy head branch name to clipboard