Theorem Cardinal.beth_lt

Modification history