Commit 2023-12-18 08:56 b6e8469d

View on Github →

feat: add mulTSupport_mul/tsupport_add (#9060) From the hairer branch.

Estimated changes

added theorem mulTSupport_mul