Commit 2025-04-09 03:56 a13f45f5

View on Github →

chore(AlgebraicGeometry): rename mem_Spec_image to essImage_Spec (#23841) This matches the naming convention. Also tag simp and make the Scheme argument implicit. From Toric

Estimated changes