Theorem Cardinal.preBeth_strictMono

Modification history