src/HOL/ex/HarmonicSeries.thy
changeset 47884 21c42b095c84
parent 40077 c8a9eaaa2f59
child 53374 a14d2a854c02
equal deleted inserted replaced
47883:9dcfcdbdb2ba 47884:21c42b095c84