SZS status Theorem for i/f/alist/ALOOKUP__SOME__FAPPLY__alist__to__fmap
