Skip to content

feat: improve error message for unknown attributes #31200

feat: improve error message for unknown attributes

feat: improve error message for unknown attributes #31200

check-awaiting-mathlib

succeeded Jul 5, 2026 in 2s