Theorem Cardinal.preBeth_omega

Modification history