Jump to content

equality of natural numbers Z13522
Function

From Wikifunctions