Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-02 02:56 5994df14

View on Github →

feat(algebra/group_power/lemmas): is_unit_pos_pow_iff (#8420)

Estimated changes

added theorem is_unit_pos_pow_iff