mathlib3
23da4531 - simplify proof of exp_bound'
Commit
View On GitHub
Commit
4 years ago
simplify proof of exp_bound'
References
add_one_le_exp
Author
isadofschi isadofschi
Parents
2828a11b
FAQ Terms Privacy Refunds Impressum
Loading