Theorem AnalyticOnNhd.exists_order_ne_top_iff_forall

refactor: use a junk value for the analytic order of a non-analytic function (#22974) …

feat: characterize level sets of the order for analytic/meromorphic functions (#22292) …