src/HOL/Library/BigO.thy
changeset 61952 546958347e05
parent 61945 1135b8de26c3
child 61969 e01015e49041