src/HOL/Library/Formal_Power_Series.thy
changeset 43922 c6f35921056e
parent 41959 b460124855b8
child 44174 d1d79f0e1ea6