mathlib3
49c3a049 - fix(algebra.field): introduce division_ring_has_div' (#852)

Commit

6 years ago

fix(algebra.field): introduce division_ring_has_div' (#852) * fix division_ring_has_div * priority default * comment

References

Author

abhimanyupallavisudhir

Committer

ChrisHughes24

Parents