Skip to content

feat: make noConfusion even more heterogeneous #18328

feat: make noConfusion even more heterogeneous

feat: make noConfusion even more heterogeneous #18328

check-awaiting-mathlib

succeeded Dec 9, 2025 in 4s