Theorem coe_set_pow

Modification history

2024-11-28 16:50
Mathlib/Algebra/Group/Submonoid/Pointwise.lean
feat: `S ^ n = S` where `S` is a submonoid (#19259) …
Added coe_set_powView on Github →