Merge main into live#11908

Merged

dotnet-policy-service[bot] merged 2 commits intolivefrom

Oct 7, 2025

Commits on Oct 6, 2025

Fix mathematically incorrect statements about empty sets in set documentation (#11855)
Copilot
authored
Porting .NET 10 docs from assemblies that don't use /// as source of truth (#11876)

ericstj
and
gewarren
authored