mathlib

0eea0d9f - 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 (#1219) * feat(data/{nat,int}/parity): the 'even' predicate on nat and int * fix(data/{nat,int}/parity): shorten proof * delete extra comma