mathlib3
feat(algebra/group_power): gpow_add_one
#683
Merged
Overview
Commits
2
Changes
View On GitHub

feat(algebra/group_power): gpow_add_one #683

ChrisHughes24 merged 2 commits into master from gpow_add_one
ChrisHughes24
ChrisHughes24 feat(algebra/group_power): gpow_add_one
0c01fd6d
ChrisHughes24 feat(data/nat//basic): int.coe_nat_abs
6ee2f922
ChrisHughes24 ChrisHughes24 merged 9a8f1b06 into master 7 years ago
ChrisHughes24 ChrisHughes24 deleted the gpow_add_one branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum