Commit 2025-03-18 19:22 a1e43008

View on Github →

chore: rename {Mul,Add}Action.mk' (#22572) I don't think they were ever meant to be called that.

Estimated changes

deleted theorem MulAction.mk'