Commit 2026-01-27 20:37 01988d5f

View on Github →

chore(AlgebraicGeometry): fix Scheme.Hom.mem_opensRange (#34476)

Estimated changes