mathlib
02c08d9b - doc(polynomial/eval): why map_ring_hom can't replace map (#11537)

Commit

3 years ago

doc(polynomial/eval): why map_ring_hom can't replace map (#11537)

Author

ericrbg

ericrbg

Parents

Loading