src/HOL/Library/Function_Growth.thy
changeset 66796 ea9b2e5ca9fc
parent 63540 f8652d0534fa