fix: make name mangling unambiguous #14081
Triggered via pull request
October 16, 2025 13:59
leanprover-bot
leanprover-bot
labeled
#10727
Status
Skipped
Total duration
–
Artifacts
–