Commit 2023-11-14 09:51 43c32061

View on Github →

chore: tidy various files (#8398)

Estimated changes

Modified Mathlib/Analysis/Asymptotics/Asymptotics.lean

modified theorem Asymptotics.IsBigO.exists_nonneg

modified theorem Asymptotics.IsBigO.exists_pos

modified theorem Asymptotics.isBigOWith_principal

modified theorem Asymptotics.isBigOWith_top

modified theorem Asymptotics.isBigO_top

Modified Mathlib/Combinatorics/SetFamily/FourFunctions.lean

modified theorem collapse_nonneg

Modified Mathlib/Topology/Category/Stonean/Limits.lean

Modified Mathlib/Topology/Category/TopCat/Limits/Pullbacks.lean