mathlib3
27b0a763 - feat(ring_theory/adjoin): adjoin_range_eq_range_aeval (#9179)

Commit

4 years ago

feat(ring_theory/adjoin): adjoin_range_eq_range_aeval (#9179) Co-authored-by: Chris Hughes <chrishughes24@gmail.com>

Author

ChrisHughes24

Parents