mathlib3
feat(data/complex/basic): of_real_fpow
#640
Merged
Overview
Commits
2
Changes
View On GitHub

feat(data/complex/basic): of_real_fpow #640

johoelzl merged 2 commits into leanprover-community:master from ChrisHughes24:patch-3
ChrisHughes24
ChrisHughes24 feat(data/complex/basic): of_real_fpow
9b078f49
ChrisHughes24 ChrisHughes24 force pushed from 962091e0 to 9b078f49 6 years ago
ChrisHughes24 fix build
7db75252
johoelzl johoelzl merged fc529b6f into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the patch-3 branch 6 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