Theorem Cardinal.preBeth_succ

Modification history