Theorem mul_add_one_le_pow
Modification history
2019-02-12 11:17
src/analysis/specific_limits.lean
chore(analysis/specific_limits): replace mul_add_one_le_pow by pow_ge_one_add_mul
Deleted mul_add_one_le_powView on Github →2017-10-24 22:31
analysis/limits.lean
feat(data/num,data/nat/cast,...): nat,num,int,rat.cast, list stuff
Modified mul_add_one_le_powView on Github →2017-09-21 13:22
topology/limits.lean
feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable
Added mul_add_one_le_powView on Github →