let mathd-algebra-224 = `(FINITE {n:num | (sqrt (&n) < &7 / &2) /\ (&2 < sqrt (&n))}) ==> (CARD {n:num | (sqrt (&n) < &7 / &2) /\ (&2 < sqrt (&n))} = 8)`;;