perf: specialize instantiate for the n=1 case
#18847
Triggered via pull request
April 13, 2026 10:17
mathlib-lean-pr-testing[bot]
mathlib-lean-pr-testing[bot]
labeled
#13385
Status
Skipped
Total duration
1s
Artifacts
–