Commit 2026-06-22 05:44 8052a714

chore(Dynamics): general clean-up (#40259) We do a bunch of clean-up:

• move the type declarations to the top of the file
• remove [ContinuousAdd] assumption from Flow
• use sections to split between AddMonoid and AddGroup assumption (was done with opening and closing the namespace), also add new sections AddZero and SubtractionCommMonoid
• move definitions and theorem into the correct section
• add @[simp] lemmas for fully applied defs
• use fun_prop
• minor clean-up (whitespaces, unnecessary coercion arrows, etc)