src/HOL/Parity.thy
changeset 57978 8f4a332500e4
parent 54489 03ff4d1e6784
child 58645 94bef115c08f