Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-18 23:07 ae0da3d3

View on Github →

feat(algebra/group_power): zero_pow et al written by Chris Hughes

Estimated changes

Modified algebra/group_power.lean

added theorem zero_pow

Modified data/fintype.lean

added theorem fintype.injective_iff_bijective

added theorem fintype.surjective_iff_bijective