Commit 2025-04-03 18:02 46a38616

View on Github →

chore(Analysis): rename pi family from π to X (#22605) Only in files that mentioned such a family, via a script:

git grep -e "π : . → Type" --name-only | rg "Analysis" | xargs -I{} sed -i -e 's/π/X/g' {}

Estimated changes