Questions tagged [functional-extensionality]
Use this tag for the principle of functional extensionality in logic and proofs which states that two functions are equal if their values are equal at every argument.
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?