[Merged by Bors] - feat(Analysis): calculus log 3 and log 5#39640

yuanyi-350 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

yuanyi-350:feat-analysis-calculus-log-3-5yuanyi-350/yuanyi_mathlib4:feat-analysis-calculus-log-3-5Copy head branch name to clipboard