feat: add builtin @[lia] attribute supplying a lemma set to the lia tactic
#27217
Triggered via issue
June 18, 2026 07:50
mathlib-lean-pr-testing[bot]
Status
Skipped
Total duration
1s
Artifacts
–