mathlib3
remove useless assumption
#751
Merged
Overview
Commits
1
Changes
View On GitHub

remove useless assumption #751

ChrisHughes24 merged 1 commit into leanprover-community:master from sgouezel:has_sum_of_absolute_convergence_real
sgouezel
sgouezel remove useless assumption
1c0b8e6a
ChrisHughes24 ChrisHughes24 merged 63fa61db into master 6 years ago
sgouezel sgouezel deleted the has_sum_of_absolute_convergence_real 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