Oldest

Remove duplicated definition/lemma. #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
oldest (x86_32)	5m 14s
oldest (aarch64)	5m 45s
oldest (riscv)	5m 9s
oldest (x86_64)	5m 8s
oldest (arm)	5m 1s
oldest (ppc)	5m 11s
	31m 28s