Coq 8.20, rm infra.v, minor fixes#38

affeldt-aist merged 9 commits intomainmath-comp/trajectories:mainfrom

fix_20250219math-comp/trajectories:fix_20250219Copy head branch name to clipboard