Theorem Cardinal.preBeth_one

Modification history