Theorem Submonoid.coe_powers

Modification history

2023-04-12 19:26
Mathlib/GroupTheory/Submonoid/Membership.lean
feat: Induction principle for powers (#3278) …
Added Submonoid.coe_powersView on Github →