Commit 2023-06-03 12:56 f0550426

View on Github →

feat: port Analysis.NormedSpace.DualNumber (#4627)

Estimated changes

added theorem DualNumber.exp_eps