chore(Tactic/Simproc/ExistsAndEq): simplify proof building using subst
#274060
Triggered via issue
August 27, 2026 07:03
leanprover-radar
Status
Success
Total duration
11s
Artifacts
–
bot_fix_style.yaml
on: issue_comment
Fix style issues from lint
7s