src/HOL/Computational_Algebra/Formal_Laurent_Series.thy
changeset 82824 7ddae44464d4
parent 82529 ff4b062aae57