Commit 2022-09-23 01:29 9328c66a
View on Github →feat: dsimp for conv-mode (#419)
This PR defines dsimp for conv-mode. The implementation is very similar to simp, but easier since dsimp cannot fail.
feat: dsimp for conv-mode (#419)
This PR defines dsimp for conv-mode. The implementation is very similar to simp, but easier since dsimp cannot fail.