extensionality

Technology Dictionary -> extensionality

Search:

extensionality



extensional equality