Skip to content

refactor: make simpH proof-producing #20920

refactor: make simpH proof-producing

refactor: make simpH proof-producing #20920

check-lean-files

succeeded Dec 8, 2025 in 39s