mathlib3
feat(ring_theory/dedekind_finite): add material on dedekind finite rings/monoids
#11376
Open
Overview
Commits
25
Changes
View On GitHub

feat(ring_theory/dedekind_finite): add material on dedekind finite rings/monoids #11376

alexjbest wants to merge 25 commits into master from alexjbest/dedekind-finite
alexjbest
alexjbest move old code
a7a052a3
alexjbest workign
5aaa95fe
alexjbest Merge branch 'master' of github.com:leanprover-community/mathlib into…
bad3c59d
alexjbest cleanup
9c825281
alexjbest more cleanup
2fe2019b
alexjbest Merge branch 'master' of github.com:leanprover-community/mathlib into…
278eca1c
alexjbest refresh
4e761dff
alexjbest tidy
e3ddaa40
alexjbest Merge branch 'master' of github.com:leanprover-community/mathlib into…
3feb4743
alexjbest try to refresh last part seeing as one result is already in mathlib
03fa6187
alexjbest complete
43a318f4
alexjbest tidy
ac637f9b
alexjbest finish vasc
1ff8414c
alexjbest alexjbest added WIP
alexjbest vasconcelos was PRed
5acfc9b2
alexjbest golfing
3599eead
alexjbest golf
c0e1851d
alexjbest cleanup
3025851d
alexjbest align
5dbf1739
alexjbest rev is prop
48974001
alexjbest this too
4e0e31e7
alexjbest cleanup
a6a6a1ad
alexjbest more cleaning
93d99e81
alexjbest cleanup
c74d64c2
alexjbest getting there
546a7f09
alexjbest more refactors
aadc3aea
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
WIP too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum