madrocketsci pushed to master at madrocketsci/amsmathutil25

madrocketsci
2026-03-11T17:32:40Z

d26c7ee3481904002f4fd85bd44d196c9ae89555 const correctness stuff