Skip to content

feat: @[suggest_for] annotations for prompting easy-to-miss names #18290

feat: @[suggest_for] annotations for prompting easy-to-miss names

feat: @[suggest_for] annotations for prompting easy-to-miss names #18290

check-awaiting-mathlib

succeeded Dec 8, 2025 in 2s