PR #11649: feat(algebraic_geometry): Intersection of affi...

Stream: triage

[Random Issue Bot]

Today I chose PR 11649 for discussion!

feat(algebraic_geometry): Intersection of affine open can be covered by common basic opens
Created by @Andrew Yang (@erdOne) on 2022-01-24
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?