fix: forgotten lemma about derivability of sqrt#1909

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

affeldt-aist:derive_20250319affeldt-aist/analysis:derive_20250319Copy head branch name to clipboard