Theorem Cardinal.preBeth_limit

Modification history