rm forms.v#1673

CohenCyril merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:forms_20250704affeldt-aist/analysis:forms_20250704Copy head branch name to clipboard