So { −: F² → F } is not functionally complete, but { −: F² → F, −0: F⁰ → F } is.

		pwdisswordfishc on Oct 7, 2023 \| parent \| context \| favorite \| on: Subtraction is functionally complete So { −: F² → F } is not functionally complete, but { −: F² → F, −0: F⁰ → F } is.