Commit 2026-03-10 17:32 aa1dd647
View on Github →fix(docs): deduplicate yaml key (#36001) Having two identical keys in the same structure isn't valid yaml. This PR adopts the same pattern used for other theorems with multiple declarations.
fix(docs): deduplicate yaml key (#36001) Having two identical keys in the same structure isn't valid yaml. This PR adopts the same pattern used for other theorems with multiple declarations.