mathlib
685289c6 - feat(algebra/pointwise): pow_mem_pow (#7822)

Commit

4 years ago

feat(algebra/pointwise): pow_mem_pow (#7822) If `a ∈ s` then `a ^ n ∈ s ^ n`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>

Author

tb65536

Parents