mathlib
949021d6 - feat(ring_theory/algebraic): Rational numbers are algebraic (#13367)

Commit

3 years ago

feat(ring_theory/algebraic): Rational numbers are algebraic (#13367)

Author

vihdzp

vihdzp

Parents

Loading