mathlib
9a8f1b06 - feat(algebra/group_power): gpow_add_one (#683)

Commit

6 years ago

feat(algebra/group_power): gpow_add_one (#683) * feat(algebra/group_power): gpow_add_one * feat(data/nat//basic): int.coe_nat_abs

References

Author

ChrisHughes24

Parents