Skip to content

feat: suggestions for ambiguous dotted identifiers #18286

feat: suggestions for ambiguous dotted identifiers

feat: suggestions for ambiguous dotted identifiers #18286

check-awaiting-mathlib

succeeded Dec 8, 2025 in 5s