Theorem Cardinal.preBeth_zero

Modification history