src/HOL/Library/Function_Growth.thy
changeset 66787 64b47495676d
parent 63540 f8652d0534fa