| changeset 74543 | ee039c11fb6f |
| parent 74324 | 308e74afab83 |
| child 75462 | 7448423e5dba |
--- a/src/HOL/Library/Landau_Symbols.thy Fri Oct 15 18:09:34 2021 +0200 +++ b/src/HOL/Library/Landau_Symbols.thy Tue Oct 19 16:10:36 2021 +0200 @@ -1,6 +1,6 @@ (* File: Landau_Symbols_Definition.thy - Author: Manuel Eberl <eberlm@in.tum.de> + Author: Manuel Eberl <manuel@pruvisto.org> Landau symbols for reasoning about the asymptotic growth of functions. *)