Theorem Cardinal.preBeth_mono

Modification history