Commit 2024-05-17 23:31 53a11eff

chore: cleanup AlgebraicGeometry.Pullbacks (#12995)

• I noticed this file was a little slow and I decided to clean it up a bit.
• I don't actually know if this improves the compilation time of this file, but it cleans up all porting notes, adaption notes, erw and change.