[Merged by Bors] - chore(Analysis/SpecialFunctions/Log/PosLog): fix non-terminal simp#39564

kebekus wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kebekus:kebekus/posLog.1kebekus/mathlib4:kebekus/posLog.1Copy head branch name to clipboard