Skip to content

refactor: make simpH proof-producing #18258

refactor: make simpH proof-producing

refactor: make simpH proof-producing #18258

check-awaiting-mathlib

succeeded Dec 8, 2025 in 4s