Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-01 10:20 04b5f885

View on Github →

refactor(analysis/asymptotics): minor formatting changes

Estimated changes

Modified src/analysis/asymptotics.lean

modified theorem asymptotics.is_O.add

modified theorem asymptotics.is_O.sub

modified theorem asymptotics.is_O.symm

modified theorem asymptotics.is_O_const_mul_left

modified theorem asymptotics.is_O_const_smul_left_iff

modified theorem asymptotics.is_O_refl

modified theorem asymptotics.is_o.add

modified theorem asymptotics.is_o.sub

modified theorem asymptotics.is_o.symm

modified theorem asymptotics.is_o.to_is_O

modified theorem asymptotics.is_o_const_smul_left

modified theorem asymptotics.tendsto_nhds_zero_of_is_o