perf: inline get_loose_bvar_range field accessor
#39112
Triggered via pull request
April 13, 2026 14:07
mathlib-lean-pr-testing[bot]
mathlib-lean-pr-testing[bot]
labeled
#13387
Status
Success
Total duration
10s
Artifacts
–