Skip to content

feat: add grind +simp mode #18523

feat: add grind +simp mode

feat: add grind +simp mode #18523

check-awaiting-mathlib

succeeded Dec 11, 2025 in 2s