madrocketsci pushed to master at madrocketsci/amsmathutil25

madrocketsci
2025-06-04T23:08:20Z

ef6f7bcb77f7784cf6d601881ad1abc0dad13f45 updates