Closed beastaugh closed 10 months ago
Since division is a partial function it shouldn't have a function symbol in the language of Q (i.e. the first-order language of ordered fields).
This commit removes the symbol from the signature but tries to retain the intuitive quality of the example as it currently stands.
This pull request is an alternative to the one suggested by @greleigh.
Since division is a partial function it shouldn't have a function symbol in the language of Q (i.e. the first-order language of ordered fields).
This commit removes the symbol from the signature but tries to retain the intuitive quality of the example as it currently stands.
This pull request is an alternative to the one suggested by @greleigh.