src/HOL/Library/Polynomial.thy
changeset 35115 446c5063e4fd
parent 35028 108662d50512
child 36350 bc7982c54e37