Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.const_pow

Modification history

2022-07-28 17:47

src/data/pi/algebra.lean

feat(data/{pi, prod}): add missing `has_pow` instances for `pi` type (#15478) …

Added pi.const_pow View on Github →