Commit 2023-06-29 04:23 b811eab1

View on Github →

feat: add ContinuousOn.vsub (#5569) Also fix indentation

Estimated changes

added theorem ContinuousOn.vsub