src/HOL/Computational_Algebra/Formal_Laurent_Series.thy
changeset 82825 5e9c9f2c2cd8
parent 82529 ff4b062aae57