* [SC] Sync to plTabular.
* [MATH_EXT,NEW] Added succ_inf/2.