madrocketsci pushed to master at madrocketsci/amsmathutil25

madrocketsci
2025-06-01T19:33:10Z

178bd616f588301049754cd7c22a959825de0ec6 fixed install