Commit 2020-09-30 20:29 bcc7c024

View on Github →

feat(geometry/manifold): smooth bundled maps (#3641)

Estimated changes

added structure has_smooth_add_core
added structure has_smooth_mul_core
added theorem smooth.mul
added structure smooth_monoid_morphism
added theorem smooth_mul
added theorem smooth_mul_left
added theorem smooth_mul_right
added theorem smooth_on.mul