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)
feat: constructible sets in the prime spectrum (#20274) Provide tooling for manipulating constructible sets in the prime spectrum of a ring. From GrowthInGroups (LeanCamCombi)