Talk:Successor function

This is categorized as "Binary operators", which is not the case, but I can't remove the category because it is not shown in the edit page. (may a bug?) 🐟 Fish fish fish ... 🐠 20:00, January 28, 2020 (UTC)