mathlib3
feat(number_theory/sum_four_squares): every natural number is the sum of four square numbers
#1560
Merged
Merged
feat(number_theory/sum_four_squares): every natural number is the sum of four square numbers #1560
mergify
merged
10 commits into
master
from
sum_four_squares
feat(number_theory/sum_four_squares): every natural number is the sum…
ab5621d5
robertylewis
commented
on 2019-10-17
ChrisHughes24
changed the title
Johan's suggestions
448b0b28
jcommelin
commented
on 2019-10-21
some better parity proofs
348f5af5
fix silly lemmas in finite_fields
b750236f
generalize a lemma
4b7407d4
fix build
65ec2533
jcommelin
commented
on 2019-10-21
kim-em
commented
on 2019-10-21
kim-em
commented
on 2019-10-21
Update src/number_theory/sum_four_squares.lean
8a2cb1eb
add docs in correct style
207553d1
Merge branch 'sum_four_squares' of https://github.com/leanprover-comm…
188e2ac2
robertylewis
approved these changes
on 2019-10-29
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into sum_four_squares
44a387e5
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub