Theorem Cardinal.preBeth_pos

Modification history