search

28left / descriptive_set_theory

1 stars 0 forks source link

Issue on page /recursion.html #14

Open RaymondTana opened 2 years ago

RaymondTana commented 2 years ago

In statement of Theorem 31, missing a "there" between $V$ and "exists"