Commit 2025-09-17 11:12 e6ceccbc
View on Github →feat: ContMDiffAt.pow (#29459)
Powers of C^n functions M → G into a commutative monoid G are C^n.
This is upstreamed from https://github.com/girving/ray.
feat: ContMDiffAt.pow (#29459)
Powers of C^n functions M → G into a commutative monoid G are C^n.
This is upstreamed from https://github.com/girving/ray.