Skip to content

feat: do not have meta imply partial #18672

feat: do not have meta imply partial

feat: do not have meta imply partial #18672

check-awaiting-mathlib

succeeded Dec 12, 2025 in 4s