mathlib3

18ba3950 - feat(algebra/support) support of power is subset of support (#12654)