Skip to content

chore: add deprecations for duplicated theorems #19211

chore: add deprecations for duplicated theorems

chore: add deprecations for duplicated theorems #19211

check-lean-files

succeeded Oct 28, 2025 in 23s