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' {}