proof simplification#1393

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

CohenCyril:near_in_itv_20241113CohenCyril/analysis:near_in_itv_20241113Copy head branch name to clipboard