fix: detect private references in inferred type of public def #14034
Triggered via pull request
October 14, 2025 17:38
leanprover-community-bot
labeled
#10762
Status
Skipped
Total duration
1s
Artifacts
–