Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.pow_def

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.pow_def View on Github →