Commit 2025-01-24 06:06 5fb85e0f

View on Github →

feat: constructible sets in the prime spectrum (#20274) Provide tooling for manipulating constructible sets in the prime spectrum of a ring. From GrowthInGroups (LeanCamCombi)

Estimated changes