mathlib
7601a7a5 - feat(ring_theory/adjoin): adjoin_singleton_one (#4633)

Commit

5 years ago

feat(ring_theory/adjoin): adjoin_singleton_one (#4633)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading