Mathlib v3 is deprecated. Go to Mathlib v4

Theorem gsmul_neg_one

Modification history

2018-04-03 21:23

algebra/group_power.lean

fix(*): update to lean …

Deleted gsmul_neg_one View on Github →

2017-12-09 22:14

algebra/group_power.lean

feat(algebra/group_power): more gpow lemmas

Added gsmul_neg_one View on Github →