Commit 2024-07-11 10:12 e6f5dffc
View on Github →feat(Limits/Shapes/Pullback): Add API and golf proofs (#14524) This is PR adds some API to pullbacks, and golfs some proofs in those files.
feat(Limits/Shapes/Pullback): Add API and golf proofs (#14524) This is PR adds some API to pullbacks, and golfs some proofs in those files.