Theorem Cardinal.preBeth_le_beth

Modification history