chore: add deprecations for duplicated theorems #14385
Triggered via pull request
October 29, 2025 03:50
leanprover-community-bot
leanprover-community-bot
labeled
#10967
Status
Skipped
Total duration
–
Artifacts
–