src/HOL/Library/BigO.thy
changeset 29847 af32126ee729
parent 29786 84a3f86441eb
child 31337 a9ed5fcc5e39