Commit 2019-07-13 16:25 0eea0d9f
View on Github →feat(data/{nat,int}/parity): the 'even' predicate on nat and int (#1219)
- feat(data/{nat,int}/parity): the 'even' predicate on nat and int
- fix(data/{nat,int}/parity): shorten proof
- delete extra comma
feat(data/{nat,int}/parity): the 'even' predicate on nat and int (#1219)