Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-06 11:05 18bd6148

View on Github →

feat(algebra/group_power): adding various cast power lemmas for nat and int (#230)

Estimated changes

added theorem int.cast_pow
added theorem int.coe_nat_pow
added theorem nat.cast_pow
added theorem nat.pow_two