Theorem Cardinal.preBeth_nat

Modification history