aboutsummaryrefslogtreecommitdiff
path: root/ex
diff options
context:
space:
mode:
authorJosh Chen2018-08-17 13:39:56 +0200
committerJosh Chen2018-08-17 13:39:56 +0200
commita85c05db8b3952ae07a645abfdd8b5418808cfec (patch)
tree181122ca233d1ea25e14ca1bf22ad63388ed85a0 /ex
parent10757b7f628655f962b2dd1c7849c75098320ed1 (diff)
Change unnecessary axiomatization to a definition
Diffstat (limited to 'ex')
0 files changed, 0 insertions, 0 deletions