Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-05-29 18:57 00a2eb41

View on Github →

feat(algebra/group_power): mul_two_nonneg

Estimated changes

added theorem pow_two_nonneg