Skip to content
Back to pull request #11529

fix: modify @[suggest_for] to work with the Prelude #18164

Sign in to view logs

fix: modify @[suggest_for] to work with the Prelude

fix: modify @[suggest_for] to work with the Prelude #18164

check-awaiting-mathlib

check-awaiting-mathlib
succeeded Dec 5, 2025 in 2s