Skip to content

chore: legitimize projections on tagged values #18427

chore: legitimize projections on tagged values

chore: legitimize projections on tagged values #18427

check-awaiting-mathlib

succeeded Dec 10, 2025 in 5s