mathlib3
feat(ring_theory/ideals): make ideal.quotient.field a discrete_field
#777
Merged
Merged
feat(ring_theory/ideals): make ideal.quotient.field a discrete_field #777
ChrisHughes24
merged
2 commits into
master
from
quotient_discrete_field
feat(ring_theory/ideals): make ideal.quotient.field a discrete_field
cca04bea
Merge branch 'master' of https://github.com/leanprover-community/mathlib
6641c54a
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub