Commit 2026-04-13 12:24 bc7bce21

View on Github →

feat(MvPowerSeries): MvPowerSeries.C is injective and add @[grind inj] (#37689)

Estimated changes

added theorem MvPowerSeries.C_inj
modified theorem PowerSeries.C_injective