src/HOL/Algebra/poly/LongDiv.thy
changeset 31106 9a1178204dc0
parent 27214 0978b8e32fd0
child 30968 10fef94f40fc